diff options
author | raveit65 <[email protected]> | 2017-10-06 19:12:31 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-10-06 19:18:38 +0200 |
commit | 4222e1a6865924b87bcc52d919459aedce2db927 (patch) | |
tree | 3585fe25bd2b01f021616e3e55e58d385346a1d2 | |
parent | c321951072f8c7df559774f8bd8aa2f933052567 (diff) | |
download | mate-themes-4222e1a6865924b87bcc52d919459aedce2db927.tar.bz2 mate-themes-4222e1a6865924b87bcc52d919459aedce2db927.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 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; |