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 Desktop
Packages, which is subscribed to gnome-terminal in
vte-0.36 will include the fix.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/932940
Title:
gnome-terminal intercepts ctrl-f1 making it unusable for applications
running
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 Desktop
Packages, which is subscribed to gnome-terminal
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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/932940
Title:
gnome-terminal intercepts ctrl-f1 making it unusable for applications
running within
Status in “gnome-terminal”
5 matches
Mail list logo