[Desktop-packages] [Bug 1099028] Re: Ctrl-modifier not applied to some keys

2018-12-24 Thread Bug Watch Updater
** Changed in: gnome-terminal Status: Unknown => Confirmed ** Changed in: gnome-terminal Importance: Unknown => Medium -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

[Desktop-packages] [Bug 1099028] Re: Ctrl-modifier not applied to some keys

2018-12-24 Thread Paul White
Upstream bug has been marked as a duplicate of #477068 which is still open ** Bug watch added: GNOME Bug Tracker #477068 https://bugzilla.gnome.org/show_bug.cgi?id=477068 ** Also affects: gnome-terminal via https://bugzilla.gnome.org/show_bug.cgi?id=477068 Importance: Unknown

[Desktop-packages] [Bug 1099028] Re: Ctrl-modifier not applied to some keys

2014-06-01 Thread Egmont Koblinger
Upstream: https://bugzilla.gnome.org/show_bug.cgi?id=730157 ** Bug watch added: GNOME Bug Tracker #730157 https://bugzilla.gnome.org/show_bug.cgi?id=730157 -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.