[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