summaryrefslogtreecommitdiff
path: root/desktop-themes
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2017-07-25 14:52:10 +0200
committerraveit65 <[email protected]>2017-07-25 14:52:10 +0200
commitc6524047d2313ca39316616c2f4a8115f8cb75c9 (patch)
tree8e40bc2ea1e36c0e808ab67ca373670e4bf216a4 /desktop-themes
parent8bc7305a99a96d3c9adc3e9a1745de45aef659d2 (diff)
downloadmate-themes-c6524047d2313ca39316616c2f4a8115f8cb75c9.tar.bz2
mate-themes-c6524047d2313ca39316616c2f4a8115f8cb75c9.tar.xz
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
Diffstat (limited to 'desktop-themes')
-rw-r--r--desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css15
-rw-r--r--desktop-themes/Blue-Submarine/gtk-3.0/scrollbar.css15
-rw-r--r--desktop-themes/BlueMenta/gtk-3.0/gtk-widgets.css15
-rw-r--r--desktop-themes/Green-Submarine/gtk-3.0/scrollbar.css15
-rw-r--r--desktop-themes/GreenLaguna/gtk-3.0/gtk-widgets.css15
-rw-r--r--desktop-themes/Menta/gtk-3.0/gtk-widgets.css15
-rw-r--r--desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css15
-rw-r--r--desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css15
8 files changed, 120 insertions, 0 deletions
diff --git a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css
index f80f9eab..2610372d 100644
--- a/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/BlackMATE/gtk-3.0/gtk-widgets.css
@@ -1750,6 +1750,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;