From a4807e437e6f2f98bec44b547288c2dfef73b699 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Fri, 6 Oct 2017 19:12:31 +0200 Subject: 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 --- desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css | 15 --------------- desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css | 15 --------------- desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css | 15 --------------- desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css | 15 --------------- desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css | 15 --------------- desktop-themes/Menta/gtk-3.0/gtk-widgets.css | 15 --------------- desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 15 --------------- desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css | 15 --------------- 8 files changed, 120 deletions(-) (limited to 'desktop-themes') 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; -- cgit v1.2.1