termux
"extra-keys" of "termux.properties" malfunctioning
"extra-keys" in "~/.termux/termux.properties": https://wiki.termux.com/wiki/Terminal_Settings https://wiki.termux.com/wiki/Touch_Keyboard
|1| Unfavorable case-sensitivity:
Currently wouldn't reckon, e.g.
extra-keys = [ [ "Tab" ] ]
; alike.
.
Treating which as literally typing "Tab". (inserting the string)
Likely unintended behavior as:
"extra-keys-text-all-caps = false" was actually a thing.
https://github.com/termux/termux-app/blob/82b15803126138eef8899e0c7b582713f872cd09/termux-shared/src/main/java/com/termux/shared/termux/settings/properties/TermuxPropertyConstants.java#L126
[ Also inconsistent with "shortcut.create-session" etc. 's handling. ]
|2| <&~~>Extra Keys Row not displaying nevertheless on certain Android version</&>:
[ ^
Fundamentally because of the obscure "show_extra_keys" preferences:
Toggled through long-click on the "KEYBOARD" button in the drawer. ]
.
Tested Android 8.
Showing on Android 8.1, Android 12.
Was trying to disable it nevertheless via:
extra-keys = []
(proper keyboard be the fundamental fix)
Plus:
The backslash handling of "extra-keys" is glitchy. (demonstrable by "\\\\" alike)
[ ^ https://github.com/termux/termux-app/issues/4386 ]
But likely unfixable at this point.
.
Also using the transient toast for error messages maybe unsuitable.
("extra-keys" parsing failure)
The accepted escape sequences for "extra-keys", seem mostly undocumented?
Worth a documentation fix?
(it reckons "\u0009" alike; though no support for "\x09")
