summaryrefslogtreecommitdiff
path: root/desktop-themes
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2017-10-06 19:12:31 +0200
committerraveit65 <[email protected]>2017-10-06 19:18:59 +0200
commit5f799b5773b395798b27fb2fea15c8b1216a9a65 (patch)
tree039124ad57dd6e5b7f3b8ff0d94676c8d5244f67 /desktop-themes
parent4e246051233e085ab599ab8d2e878e405a53298a (diff)
downloadmate-themes-5f799b5773b395798b27fb2fea15c8b1216a9a65.tar.bz2
mate-themes-5f799b5773b395798b27fb2fea15c8b1216a9a65.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
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, 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 b99883a5..7d2fe5c6 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 d3ed31c6..92c55bca 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 8e8cd178..7516d7f2 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 d8a32daa..0e861d03 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;