Gnome Terminal intercepts ctrl-F1
Posted
by
frank
on Super User
See other posts from Super User
or by frank
Published on 2012-07-01T05:59:55Z
Indexed on
2012/07/01
9:18 UTC
Read the original article
Hit count: 274
ubuntu
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.]
© Super User or respective owner