Our add-on has more than 200,000 users, and very few of them (including me) seem to experience a bug where the add-on’s shortcut doesn’t work most of the time. The reports we got so far were all on Ubuntu Linux, so I assume it might be related to that. Is anybody aware of issues like this?
The add-on doesn’t use a common Ctrl+something shortcut, but rather one where you press the control key (Ctrl, Alt, etc) twice. For me, this very often doesn’t work on Firefox, while it does in Chrome.
I’m looking for ideas on how to approach this. I don’t want to open an issue at Firefox, as I have no simple test case and the issue is not 100% reproducible.
The original bug report is at https://github.com/languagetool-org/languagetool/issues/7099, our add-on is this: https://addons.mozilla.org/firefox/addon/languagetool/