[mate-themes] 02/02: debian/patches: Drop 0001_revert_fix_redraw_issue_with_yelp.patch. Applied upstream.
Martin Wimpress
flexiondotorg-guest at moszumanska.debian.org
Wed Feb 7 17:04:53 UTC 2018
This is an automated email from the git hooks/post-receive script.
flexiondotorg-guest pushed a commit to branch master
in repository mate-themes.
commit 26d734db14f49346dafeef801f594ff0bddf4f97
Author: Martin Wimpress <martin.wimpress at ubuntu.com>
Date: Wed Feb 7 16:47:11 2018 +0000
debian/patches: Drop 0001_revert_fix_redraw_issue_with_yelp.patch. Applied upstream.
---
.../0001_revert_fix_redraw_issue_with_yelp.patch | 229 ---------------------
debian/patches/series | 1 -
2 files changed, 230 deletions(-)
diff --git a/debian/patches/0001_revert_fix_redraw_issue_with_yelp.patch b/debian/patches/0001_revert_fix_redraw_issue_with_yelp.patch
deleted file mode 100644
index b43156e..0000000
--- a/debian/patches/0001_revert_fix_redraw_issue_with_yelp.patch
+++ /dev/null
@@ -1,229 +0,0 @@
-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
deleted file mode 100644
index 632a557..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-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