Com minha recente atualização para o Ubuntu 17.10 (e ainda com 18.04), encontrei um problema estranho:
No Gnome-Terminal, a tecla Ctrl parece estar parada por um tempo muito curto depois de liberada. Eu uso muito Ctrl + A, E, D, K, Y para editar linhas de comando, e parece que estou digitando mais rápido do que o esperado. A tecla Ctrl é (embora liberada!) Ainda pressionada e os pressionamentos de tecla subsequentes têm conseqüências inesperadas.
Eu tenho pesquisado alto e baixo por " Ctrl stickyness" e coisas assim, mas não consegui encontrar nada que eu possa configurar.
Como posso reduzir o stickyness Ctrl ?
Estou usando o Gnome Terminal 3.24.2-0 ubuntu4 (e 3.28.1-1ubuntu1.1 em 18.04).
$ gsettings list-recursively org.gnome.desktop.peripherals.keyboard
org.gnome.desktop.peripherals.keyboard repeat-interval uint32 30
org.gnome.desktop.peripherals.keyboard delay uint32 500
org.gnome.desktop.peripherals.keyboard repeat true