diff options
author | raveit65 <[email protected]> | 2017-10-06 19:12:31 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-10-06 19:12:31 +0200 |
commit | a4807e437e6f2f98bec44b547288c2dfef73b699 (patch) | |
tree | cf3517929e1064d7b7c031a84d39e979a2ed500f | |
parent | f4ad05a0e6fa7d9d7b9059ab8c224437593c5663 (diff) | |
download | mate-themes-a4807e437e6f2f98bec44b547288c2dfef73b699.tar.bz2 mate-themes-a4807e437e6f2f98bec44b547288c2dfef73b699.tar.xz |
Revert "Gtk+-3.20 all themes: fix redraw issue with yelp"
This reverts commit 5923eed2cfce3d15529f43b3cee47787bf4b6ee7.
Sadly, this breaks scrollbar buttons in mozilla apps and OpenOffice
-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 874dcf24..a1203a2d 100644 --- a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css @@ -1758,21 +1758,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; |