[Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars
** 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 #733210 => bugzilla.gnome.org/ #733210 ** Summary changed: - gnome-terminal's VteTerminal doesn't have overlay scrollbars + gnome-terminal doesn't have overlay scrollbars (that actually overlay the content) ** Changed in: gnome-terminal (Ubuntu) Importance: High => Wishlist -- 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/1451924 Title: gnome-terminal doesn't have overlay scrollbars (that actually overlay the content) To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1451924/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars
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. https://bugs.launchpad.net/bugs/1451924 Title: gnome-terminal's VteTerminal doesn't have overlay scrollbars To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1451924/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
Re: [Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars
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 don't seem to be /overlay/ for me; the content reflows if I expand them. (I guess because it handles those itself, as you say.) With our latest theme the behaviour seems better than I recall from before though. -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] -- 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/1451924 Title: gnome-terminal's VteTerminal doesn't have overlay scrollbars To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1451924/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars
** 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. https://bugs.launchpad.net/bugs/1451924 Title: gnome-terminal's VteTerminal doesn't have overlay scrollbars To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1451924/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1451924] Re: gnome-terminal's VteTerminal doesn't have overlay scrollbars
** 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/1451924 Title: gnome-terminal's VteTerminal doesn't have overlay scrollbars To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1451924/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs