Gnome Terminal intercepts ctrl-F1
- by frank
Gnome Terminal does not pass on to applications the keypress ctrl-F1. It's an official bug:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/932940
The bug is marked Feb. 2012 but lives on in serendipity since 2009. The bug report is not even complete since shift-ctrl-F1 is also affected.
However, I noticed that those two keys are the default keys for switch-to-workspace-1
and move-to-workspace-1.
So I disabled them. Zero, zippo, zilch: Gnome Terminal would still swallow the keys.
Next, I assigned to those two workspace functions totally different keys. The new keybindings did work, Gnome Terminal would still swallow ctrl-F1 and shift-ctrl-F1.
Where are the default workspace keybindings stored? [Not in a xml-file.]