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…