Ubuntu has just released libgtk-3-0 3.22.25 as an update to Artful,
which I believe should fix this bug.
--
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/1728145
Title:
gnome-
** 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 Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs
** Also affects: gnome-terminal via
https://bugzilla.gnome.org/show_bug.cgi?id=789356
Importance: Unknown
Status: Unknown
** No longer affects: wayland (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-termin
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: wayland (Ubuntu)
Status: New => Confirmed
--
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
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
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launch
This is a bug in GTK+, just recently fixed in git. For details, see
https://bugzilla.gnome.org/show_bug.cgi?id=789356
https://bugzilla.gnome.org/show_bug.cgi?id=789357
** Bug watch added: GNOME Bug Tracker #789356
https://bugzilla.gnome.org/show_bug.cgi?id=789356
** Bug watch added: GNOME Bug
