File: 070_restore_normal_colors.patch

package info (click to toggle)
jabref 3.8.1%2Bds-3%2Bdeb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 18,336 kB
  • sloc: java: 114,114; xml: 3,985; python: 283; sh: 282; perl: 200; ruby: 22; makefile: 6
file content (25 lines) | stat: -rw-r--r-- 1,128 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
Description: restore normal JabRef color scheme
Forwarded: not-needed
Author: Oliver Kopp <kopp.dev@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;