-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.
You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome- terminal/-/issues/7479. -- You received this bug notification because you are a member of Desktop Packages, 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) Status in GNOME Terminal: Expired Status in gnome-terminal package in Ubuntu: Triaged Bug description: With gtk 3.16, gnome-terminal's terminal widgets do not have overlay scrollbars. To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1451924/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
