我最近更新到 Ubuntu 17.10（仍然是 18.04）时遇到了一个奇怪的问题：
在 Gnome 终端中，Ctrl释放此键后，该键似乎会卡住一小会儿。我经常使用Ctrl+进行命令行编辑，而且似乎我的打字速度比预期的要快。该键（尽管已释放！）仍然被按下，并且后续的击键会产生意想不到的后果。A, E, D, K,YCtrl
我一直在到处寻找“Ctrl粘性”之类的东西，但没有找到任何可以配置的东西。
如何才能减少Ctrl粘性？
我正在使用 Gnome Terminal 3.24.2-0 ubuntu4（以及 18.04 上的 3.28.1-1ubuntu1.1）。
$ 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