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