[Desktop-packages] [Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars

2020-03-19 Thread Daniel van Vugt
** 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

[Desktop-packages] [Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars

2015-08-31 Thread Lars Uebernickel
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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

Re: [Desktop-packages] [Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars

2015-08-31 Thread Iain Lane
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

[Desktop-packages] [Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars

2015-06-04 Thread Iain Lane
** 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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

[Desktop-packages] [Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars

2015-05-06 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.