FYI, there's a workaround hacked into Yaru:
https://github.com/ubuntu/yaru/blob/master/gtk/src/light/gtk-3.20/_apps.scss#L174
** Also affects: yaru-theme (Ubuntu)
Importance: Undecided
Status: New
** Changed in: yaru-theme (Ubuntu)
Status: New => Fix Released
** Changed in: yaru-theme (Ubuntu)
Importance: Undecided => Low
** Also affects: ubuntu-themes (Ubuntu)
Importance: Undecided
Status: New
** Changed in: ubuntu-themes (Ubuntu)
Importance: Undecided => Low
** Changed in: ubuntu-themes (Ubuntu)
Status: New => Confirmed
** Also affects: gnome-terminal via
https://gitlab.gnome.org/GNOME/gnome-terminal/issues/132
Importance: Unknown
Status: Unknown
--
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:
Unknown
Status in gnome-terminal package in Ubuntu:
Confirmed
Status in gtk+3.0 package in Ubuntu:
Confirmed
Status in ubuntu-themes package in Ubuntu:
Confirmed
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
