summaryrefslogtreecommitdiff
path: root/desktop-themes/TraditionalOk
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2017-07-25 14:52:10 +0200
committerraveit65 <[email protected]>2017-07-25 14:52:40 +0200
commit5923eed2cfce3d15529f43b3cee47787bf4b6ee7 (patch)
treecca9fa3db521ec8845d158e5f5c71cc14f0bd5a0 /desktop-themes/TraditionalOk
parent4d6bb2e688fe67315edc8abf02ab389115d09a39 (diff)
downloadmate-themes-5923eed2cfce3d15529f43b3cee47787bf4b6ee7.tar.bz2
mate-themes-5923eed2cfce3d15529f43b3cee47787bf4b6ee7.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/TraditionalOk')
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css15
1 files changed, 15 insertions, 0 deletions
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index 4b04de71..4df9ef32 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -2187,6 +2187,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;