Ubuntu 17.10. A comutação de layout de teclado ficou muito mais lenta

Question

Após a migração do Ubuntu 16.04 para 17.10, tive um problema com a troca de teclado. Quando pressiono shift+alt , são necessários cerca de 500 ms para alternar entre os layouts. Com o Ubuntu 16.04, não demorou muito tempo.

Após a atualização, atualizei meu /etc/default/keyboard :

  1 # KEYBOARD CONFIGURATION FILE                                                                                                                                                                            
  2 
  3 # Consult the keyboard(5) manual page.
  4 
  5 XKBMODEL="pc105"
  6 XKBLAYOUT="pl,de,ru"
  7 XKBVARIANT=""
  8 XKBOPTIONS="grp:alt_shift_toggle"
  9 
  10 BACKSPACE="guess"

E gsettings get org.gnome.desktop.input-sources xkb-options['grp:alt_shift_toggle'] diz:

['grp:alt_shift_toggle']