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

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;