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: 272

Filed under:

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

Related posts about ubuntu