1
0
Fork 0

Hotkey configuration issues (#282)

* the 'show settings' hotkey can now be nulled out

* fixed hotkey status becoming indeterminate and sometimes impossible to change after unsetting all, then resetting all to default

* user manual update
This commit is contained in:
Dimo Karaivanov 2023-06-08 08:59:28 +03:00 committed by GitHub
parent d1cf456996
commit ea1cc663d4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 19 additions and 17 deletions

View file

@ -89,9 +89,13 @@ _**NB2:** In messaging applications, you need to enable their "Send with ENTER"
#### Add Word Key (Default: Press ✱):
Add a new word to the dictionary for the current language.
#### Backspace Key (Default: Press ↩ / Back):
#### Backspace Key:
Just deletes text.
If your phone has a dedicated "Del" or "Clear" key, you do not need to set anything in the Settings, unless you want to have another Backspace. In this case, the blank option: "--" will be automatically preselected.
On phones which have a combined "Delete"/"Back", that key will be selected automatically. However, you can assign "Backspace" function to another key, so "Back" will only navigate back.
_**NB:** Using "Back" as backspace does not work in all applications, most notably Firefox and Spotify. They are able to take full control of the key and redefine its function, meaning it will do whatever the app authors intended. Unfortunately, nothing can be done, because "Back" plays a special role in Android and its usage is restricted by the system._
_**NB 2:** Holding "Back" key will always trigger the default system action (i.e. show running applications list)._