I mapped AltGr+Shift+Space to the thin non-breaking space, since it’s the objectively best thousands separator. It’s the norm in my country’s locale (Czech) and understood everywhere (and I know you understand the decimal frustrations as a multilingual typist). Unless it’s 4 digits or in ASCII-only contexts, in which case I don’t use any.
It’s at the XKB level (/usr/share/X11/xkb/symbols/cz_mod) so it works in all applications. And when would you be typing fancily on someone else’s Linux machine?
I mapped AltGr+Shift+Space to the thin non-breaking space, since it’s the objectively best thousands separator. It’s the norm in my country’s locale (Czech) and understood everywhere (and I know you understand the decimal frustrations as a multilingual typist). Unless it’s 4 digits or in ASCII-only contexts, in which case I don’t use any.
I could have done.that, but the Unicode code works almost everywhere, so I just learnt it.
It’s at the XKB level (
/usr/share/X11/xkb/symbols/cz_mod) so it works in all applications. And when would you be typing fancily on someone else’s Linux machine?