This seems fixed? I can open gnome-terminal, run cat, hit Ctrl+F1 and
see
^[[1;5P
** Changed in: gnome-terminal (Ubuntu)
Status: Confirmed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
vte-0.36 will include the fix.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/932940
Title:
gnome-terminal intercepts ctrl-f1 making it unusable for applications
running within
To manage
I've reported upstream:
https://bugzilla.gnome.org/show_bug.cgi?id=726438
** Bug watch added: GNOME Bug Tracker #726438
https://bugzilla.gnome.org/show_bug.cgi?id=726438
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-terminal (Ubuntu)
Status: New = Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/932940
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/932940
Title:
gnome-terminal intercepts ctrl-f1 making it unusable for applications
running within
To manage notifications about this bug go to:
