O problema estava em algum lugar nas preferências do teclado em gnome-keyboard-properties . Reset to defaults
sob o layout corrigiu tudo. Consegui refazer as mesmas configurações que eu tinha antes. O bom é que funciona agora. O que é ruim, eu não consegui entender o motivo específico pelo qual se comportou dessa maneira.