tree 9d615b3bba960cdeddf5ef34d3befc89547c46b1
parent d4f82c5c7cbc9d47fb39b1de4bd3365357f2d28b
author Adrià Vilanova Martínez <me@avm99963.com> 1653859610 +0200
committer Adrià Vilanova Martínez <me@avm99963.com> 1653859780 +0200

Add Edge target and adapt options page to Edge

Now the extension can be built with Edge as a target. This change also
adapts the option page for Edge so it doesn't have a horizontal
scrollbar.

Fixed: translateselectedtext:6
Change-Id: Ie0a38b85d1c604610942b00269004c51fc02963d