diff options
Diffstat (limited to 'desktop-themes/Menta/gtk-3.0')
| -rw-r--r-- | desktop-themes/Menta/gtk-3.0/gtk-widgets.css | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css index 7c27948e..3a963a17 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css @@ -2639,21 +2639,6 @@ scrollbar { -GtkScrollbar-has-forward-stepper: true; } -/* 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: 10px; |