Closed Gittyperson closed 6 years ago
Well, I'm a little lazy to provide a customizable key combination, but Ctrl+Shift+X is free and seems suitable to me, considering exactly this combination is used in a similar extension for Chrome.
Thanks, that would be great. Just checked my fairly extensive list of programs and that combination seems indeed free (it does something to the text formatting right here in this comment box though).
Resolved in 1.0.2.
PS: It's now listed on APMO.
Don't know if it's technically feasible, but an assignable key press would be very convenient to have, as an alternative to point'n'click.