With my recent update to Ubuntu 17.10 (and still with 18.04), I encountered a strange problem:
In the Gnome-Terminal, the Ctrl key seems to be stuck for a very short while after having it released. I use Ctrl+A, E, D, K,Y a lot for command line editing, and it seems I'm typing faster than expected. The Ctrl key is (although released!) still pressed and subsequent keystrokes have unexpected consequences.
I've been searching high and low for "Ctrl stickyness" and the like but wasn't able to find anything I can configure.
How can I reduce the Ctrl stickyness?
I'm using Gnome Terminal 3.24.2-0 ubuntu4 (and 3.28.1-1ubuntu1.1 on 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