Hello everyone,
I’m working on a Keyman keyboard that offers users a choice between Western and Eastern Arabic numerals. Internally, I track this with a NumOpt
store:
store(westernArabicNumerals) '0123456789٪'
store(easternArabicNumerals) '٠١٢٣٤٥٦٧٨٩٪'
store(NumOpt) '0'
'//رقم ' > nul
'//رقم ' if(NumOpt = '0') > set(NumOpt = '1') save(NumOpt)
'//رقم ' if(NumOpt = '1') > set(NumOpt = '0') save(NumOpt)
any(westernArabicNumerals) if(NumOpt = '1') > index(easternArabicNumerals, 1)
Right now, users must type //رقم
to toggle numeral styles. I’m wondering:
- Is there a way to build a small configuration UI (either cross‑platform or platform‑specific) for Keyman keyboards?
- Ideally, this would let users click a checkbox or radio button to switch
NumOpt
between0
and1
, saving the preference automatically. - This could be implemented in the Keyman app’s Settings screen (like on Windows/macOS/Android/iOS) or perhaps as a pop‑up dialog within the keyboard itself.
So far, Keyman apps let you set general options (e.g. hotkeys, layouts) (help.keyman.com), but I haven’t seen a way to expose custom keyboard‑defined settings via UI. Is this supported now? If not, any suggestions on how to implement it—or submit it as a feature request?
Thanks!