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-X, which is subscribed to xkeyboard-config in 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 _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : ubuntu-x-swat@lists.launchpad.net Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp
