I'm not familiar with gnome-terminal and not much with CSS, but I have
decided to dig into this bug and see what's happening.
My first finding is that yes we should just drop the 'scrollbar-
background-theming.patch' from gnome-terminal and fix the theme. So I
made that change to gnome-terminal...
My second finding is that the Yaru theme is already correct and doesn't
seem to need fixing:
terminal-window {
notebook {
scrollbar {
background-color: transparent;
It seems Yaru's request for 'transparent' comes out as white. Any other
colour seems to work -- it's only 'transparent' that doesn't. So this
appears to be a bug in either GTK or gnome-terminal failing to honour
'transparent'. And yes we should still remove the patch scrollbar-
background-theming.patch as well.
I'll be away for the next week or so, so maybe someone else can finish
this or I will look into it further when I return.
** Also affects: gtk+3.0 (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gtk+3.0 (Ubuntu)
Importance: Undecided => Low
--
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/1691678
Title:
Scrollbars escape the bottom and right side of the Terminal window by
1px
Status in GNOME Terminal:
Fix Released
Status in gnome-terminal package in Ubuntu:
Triaged
Status in gtk+3.0 package in Ubuntu:
New
Status in yaru-theme package in Ubuntu:
Fix Released
Bug description:
Ubuntu's orange overlay scrollbars escape the bottom of the window
during resizing.
To reproduce try gnome-shell on artful using the Ambiance theme. Open
a Terminal window and resize it vertically, quickly. Notice the bottom
of the overlay scrollbar overruns the bottom of the window.
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: gnome-shell 3.24.2-0ubuntu3
ProcVersionSignature: Ubuntu 4.10.0-20.22-generic 4.10.8
Uname: Linux 4.10.0-20-generic x86_64
ApportVersion: 2.20.5-0ubuntu3
Architecture: amd64
Date: Thu May 18 15:28:33 2017
DisplayManager: lightdm
GsettingsChanges:
b'org.gnome.shell' b'app-picker-view' b'uint32 1'
b'org.gnome.shell' b'favorite-apps' b"['firefox.desktop',
'org.gnome.Terminal.desktop', 'rhythmbox.desktop',
'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'yelp.desktop']"
b'org.gnome.desktop.interface' b'gtk-im-module' b"'gtk-im-context-simple'"
b'org.gnome.desktop.interface' b'scaling-factor' b'uint32 1'
InstallationDate: Installed on 2017-05-03 (15 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502)
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-terminal/+bug/1691678/+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
