An alternative to gnome-tweak-tool withecho its transparent background
and too short drop-box is directly using dconf-editor...

The key is /org/gnome/desktop/input-sources/xkb-options which has to
contains 'kpdl:dot' (kpdl:kposs may also be considered, it adds
KP_SEPARATOR with AltGr)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/188342

Title:
  keymap fr/oss: numpad '.' mapped to period instead of KP_Decimal

To manage notifications about this bug go to:
https://bugs.launchpad.net/xkeyboard-config/+bug/188342/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to