Reassigning to the right people. Bug vte upstream about this.
** Changed in: mc
Status: New => Invalid
** Project changed: gnome-terminal => vte
** Bug watch added: GNOME Bug Tracker #600659
https://bugzilla.gnome.org/show_bug.cgi?id=600659
** Also affects: gnome-terminal via
https://bugzilla.gnome.org/show_bug.cgi?id=600659
Importance: Unknown
Status: Unknown
** Changed in: gnome-terminal
Importance: Unknown => Undecided
** Changed in: gnome-terminal
Status: Unknown => New
** Changed in: gnome-terminal
Remote watch: GNOME Bug Tracker #600659 => None
** Changed in: vte
Importance: Undecided => Unknown
** Changed in: vte
Status: New => Unknown
** Changed in: vte
Remote watch: None => GNOME Bug Tracker #600659
** Changed in: gnome-terminal (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
https://bugs.launchpad.net/bugs/665065
Title:
cannot distinguish between Home and Ctrl+Home
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
