[jabref] 04/08: remove 070_restore_normal_colors.patch

Tony Mancill tmancill at moszumanska.debian.org
Fri Feb 10 19:41:26 UTC 2017


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

tmancill pushed a commit to branch master
in repository jabref.

commit 9bffd0a976cf6ce2299645c2b7af3261c14f700a
Author: tony mancill <tmancill at debian.org>
Date:   Mon Feb 6 21:17:17 2017 -0800

    remove 070_restore_normal_colors.patch
---
 debian/patches/070_restore_normal_colors.patch | 25 -------------------------
 debian/patches/series                          |  1 -
 2 files changed, 26 deletions(-)

diff --git a/debian/patches/070_restore_normal_colors.patch b/debian/patches/070_restore_normal_colors.patch
deleted file mode 100644
index a9b12c4..0000000
--- a/debian/patches/070_restore_normal_colors.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-Description: restore normal JabRef color scheme
-Forwarded: not-needed
-Author: Oliver Kopp <kopp.dev at gmail.com>
-Source: https://github.com/JabRef/jabref/commit/fa749d51603d09a000ef061dea78ae0e45367d12
-
-
---- a/src/main/java/net/sf/jabref/gui/IconTheme.java
-+++ b/src/main/java/net/sf/jabref/gui/IconTheme.java
-@@ -32,12 +32,12 @@
-     /* Colors */
- 
-     // JabRef's default colors
--    //public static final Color DEFAULT_COLOR = new Color(79, 95, 143); // The purple color of the logo
--    //public static final Color DEFAULT_DISABLED_COLOR = new Color(200, 200, 200);
-+    public static final Color DEFAULT_COLOR = new Color(79, 95, 143); // The purple color of the logo
-+    public static final Color DEFAULT_DISABLED_COLOR = new Color(200, 200, 200);
- 
-     // Christmas edition
--    public static final Color DEFAULT_COLOR = new Color(0x155115);
--    public static final Color DEFAULT_DISABLED_COLOR = new Color(0x990000);
-+    //public static final Color DEFAULT_COLOR = new Color(0x155115);
-+    //public static final Color DEFAULT_DISABLED_COLOR = new Color(0x990000);
- 
- 
-     public static final int DEFAULT_SIZE = 24;
diff --git a/debian/patches/series b/debian/patches/series
index f1fd951..bb6ebe7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,4 +3,3 @@
 020_disable_automatic_upgrade_check.patch
 030_xjc.patch
 050_unirest_json.patch
-070_restore_normal_colors.patch

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



More information about the pkg-java-commits mailing list