[mate-themes] 01/02: debian/patches: Add 0001_revert_fix_redraw_issue_with_yelp.patch. Fixes scrollbars in firefox and libreoffice.

Vangelis Mouhtsis gnugr-guest at moszumanska.debian.org
Sat Oct 21 09:40:10 UTC 2017


This is an automated email from the git hooks/post-receive script.

gnugr-guest pushed a commit to branch parrot/3.7
in repository mate-themes.

commit 89bb549643c57f6efc72b8b7313295019b1b1645
Author: Pablo Barciela <scow at riseup.net>
Date:   Sat Oct 21 01:31:47 2017 +0200

    debian/patches: Add 0001_revert_fix_redraw_issue_with_yelp.patch. Fixes scrollbars in firefox and libreoffice.
---
 .../0001_revert_fix_redraw_issue_with_yelp.patch   | 229 +++++++++++++++++++++
 debian/patches/series                              |   1 +
 2 files changed, 230 insertions(+)

diff --git a/debian/patches/0001_revert_fix_redraw_issue_with_yelp.patch b/debian/patches/0001_revert_fix_redraw_issue_with_yelp.patch
new file mode 100644
index 0000000..b43156e
--- /dev/null
+++ b/debian/patches/0001_revert_fix_redraw_issue_with_yelp.patch
@@ -0,0 +1,229 @@
+From a4807e437e6f2f98bec44b547288c2dfef73b699 Mon Sep 17 00:00:00 2001
+From: raveit65 <mate at raveit.de>
+Date: Fri, 6 Oct 2017 19:12:31 +0200
+Subject: [PATCH] Revert "Gtk+-3.20 all themes: fix redraw issue with yelp"
+
+This reverts commit 5923eed2cfce3d15529f43b3cee47787bf4b6ee7.
+
+Sadly, this breaks scrollbar buttons in mozilla apps and LibreOffice
+
+Fixes https://github.com/mate-desktop/mate-themes/issues/197
+---
+ 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(-)
+
+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;
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..632a557
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001_revert_fix_redraw_issue_with_yelp.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mate/mate-themes.git



More information about the pkg-mate-commits mailing list