diff options
Diffstat (limited to 'desktop-themes/GreenLaguna/gtk-3.0')
-rw-r--r-- | desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index a0083ce7..11a4c3bf 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -2076,6 +2076,21 @@ scrollbar { -GtkScrolledWindow-scrollbar-spacing: 0; } +/* 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; min-width: 10px; |