From 5923eed2cfce3d15529f43b3cee47787bf4b6ee7 Mon Sep 17 00:00:00 2001 From: raveit65 Date: Tue, 25 Jul 2017 14:52:10 +0200 Subject: Gtk+-3.20 all themes: fix redraw issue with yelp Displaying the scrollbar buttons on horizontal scrollbar in yelp causes redraws. Disable the back/forward stepper fixes this. Probably a issue with webkitgtk4 or yelp itself --- 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 insertions(+) diff --git a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css index 7a2fc6e1..94b14568 100644 --- a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css @@ -1751,6 +1751,21 @@ 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 a90f6d70..887f6293 100644 --- a/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css +++ b/desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css @@ -12,6 +12,21 @@ 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 1bbd2efe..7c6b2920 100644 --- a/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css @@ -2636,6 +2636,21 @@ 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 84fc9564..a5755ad0 100644 --- a/desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css +++ b/desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css @@ -12,6 +12,21 @@ 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 a0083ce7..11a4c3bf 100644 --- a/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css @@ -2076,6 +2076,21 @@ 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 2c25b3e0..f03acfdd 100644 --- a/desktop-themes/Menta/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/Menta/gtk-3.0/gtk-widgets.css @@ -2636,6 +2636,21 @@ 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 3bdb2146..05fd2b84 100644 --- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css @@ -2186,6 +2186,21 @@ 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 4b04de71..4df9ef32 100644 --- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css +++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css @@ -2187,6 +2187,21 @@ 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