Ctrl+F1 doesn't work
@egmontkob
Submitted by Egmont Koblinger Link to original bug (#726438)
Description
vteapp or g-t, type "cat", press Ctrl+F1, nothing happens.
Found here: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/932940
Version: 0.35.x