Comment 30 for bug 188342

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)