** Bug watch added: bugzilla.gnome.org/ #733210
https://bugzilla.gnome.org/show_bug.cgi?id=733210
** Changed in: gnome-terminal
Importance: Medium => Unknown
** Changed in: gnome-terminal
Status: Confirmed => Unknown
** Changed in: gnome-terminal
Remote watch: GNOME Bug Tracker
They do for me?! However, they're hardly usable because they don't
expand on hover. (I think that's because vte doesn't use
GtkScrolledWindow.)
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
On Mon, Aug 31, 2015 at 08:43:09AM -, Lars Uebernickel wrote:
> They do for me?! However, they're hardly usable because they don't
> expand on hover. (I think that's because vte doesn't use
> GtkScrolledWindow.)
Isn't it that they have the styling from the theme but not the
behaviour? They
** Changed in: gnome-terminal (Ubuntu)
Status: New = Triaged
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided = High
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
** 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.