diff options
Diffstat (limited to 'desktop-themes')
-rw-r--r-- | desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css | 15 | ||||
-rw-r--r-- | desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css | 15 | ||||
-rw-r--r-- | desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css | 15 | ||||
-rw-r--r-- | desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css | 15 | ||||
-rw-r--r-- | desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css | 15 | ||||
-rw-r--r-- | desktop-themes/Menta/gtk-3.0/gtk-widgets.css | 15 | ||||
-rw-r--r-- | desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 15 | ||||
-rw-r--r-- | desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 15 |
8 files changed, 0 insertions, 120 deletions
diff --git a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css index b8b5d2a3..24e9d8f1 100644 --- a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css @@ -1759,21 +1759,6 @@ scrollbar { border-style: solid; } -/* 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-style: solid; border-width: 0px 0px 0px 1px; diff --git a/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css b/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css index 887f6293..a90f6d70 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css @@ -12,21 +12,6 @@ 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; - -} - /* broken firefox ignore background of trough */ scrollbar.horizontal { background-image: -gtk-gradient (linear, left top, right top, diff --git a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css index efa67d6e..d8464a3a 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/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; diff --git a/desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css b/desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css index a5755ad0..84fc9564 100644 --- a/desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css +++ b/desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css @@ -12,21 +12,6 @@ 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; - -} - /* broken firefox ignore background of trough */ scrollbar.horizontal { background-image: -gtk-gradient (linear, left top, right top, diff --git a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css index 41df66bd..23016c6b 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -2088,21 +2088,6 @@ 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; 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; diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css index 9f5271fd..cdb33a4d 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -2191,21 +2191,6 @@ 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; diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css index 84db0b7a..91180c12 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -2191,21 +2191,6 @@ 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; |