diff options
author | raveit65 <[email protected]> | 2017-07-25 14:52:10 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-07-25 14:52:10 +0200 |
commit | c6524047d2313ca39316616c2f4a8115f8cb75c9 (patch) | |
tree | 8e40bc2ea1e36c0e808ab67ca373670e4bf216a4 /desktop-themes/TraditionalGreen | |
parent | 8bc7305a99a96d3c9adc3e9a1745de45aef659d2 (diff) | |
download | mate-themes-c6524047d2313ca39316616c2f4a8115f8cb75c9.tar.bz2 mate-themes-c6524047d2313ca39316616c2f4a8115f8cb75c9.tar.xz |
Gtk+-3.20 all themes: fix redraw issue with yelp
Displaying the scrollbar buttons on horizontal scrollbar in yelp
causes redraws. Disable the back/forward stepper fixes this.
Probably a issue with webkitgtk4 or yelp itself
Diffstat (limited to 'desktop-themes/TraditionalGreen')
-rw-r--r-- | desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index 3bdb2146..05fd2b84 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -2186,6 +2186,21 @@ scrollbar { border-image: none; } +/* workarround for broken yelp, w/o that yelp window have redraw issues + for displaying the horizontal scrollbar, + probably an issue with webkitgtk4 or yelp */ +scrollbar.horizontal { + -GtkScrollbar-has-backward-stepper: false; + -GtkScrollbar-has-forward-stepper: false; + +} +/* override for normal applications */ +scrolledwindow > scrollbar.horizontal { + -GtkScrollbar-has-backward-stepper: true; + -GtkScrollbar-has-forward-stepper: true; + +} + scrollbar.vertical { border-width: 0px 0px 0px 1px; min-width: 14px; |