add "import java.awt.event.* ;" to make patch work debian/2.1-4
authorgregor herrmann <gregoa@debian.org>
Sun, 24 Sep 2006 22:49:28 +0000 (22:49 -0000)
committergregor herrmann <gregoa@debian.org>
Sun, 24 Sep 2006 22:49:28 +0000 (22:49 -0000)
debian/patches/02_button.dpatch

index 32088b0750c61c52615e2ca80dace76d0c29c671..6dc2d532ddb7d2ecddf72415e482ff5342d46c19 100755 (executable)
@@ -7,9 +7,17 @@
 
 @DPATCH@
 diff -urNad jabref~/src/java/net/sf/jabref/JabRef.java jabref/src/java/net/sf/jabref/JabRef.java
 
 @DPATCH@
 diff -urNad jabref~/src/java/net/sf/jabref/JabRef.java jabref/src/java/net/sf/jabref/JabRef.java
---- jabref~/src/java/net/sf/jabref/JabRef.java 2006-08-10 21:38:43.000000000 +0200
-+++ jabref/src/java/net/sf/jabref/JabRef.java  2006-09-25 00:30:22.000000000 +0200
-@@ -654,6 +654,15 @@
+--- jabref~/src/java/net/sf/jabref/JabRef.java 2006-09-25 00:43:59.000000000 +0200
++++ jabref/src/java/net/sf/jabref/JabRef.java  2006-09-25 00:44:19.000000000 +0200
+@@ -31,6 +31,7 @@
+ import gnu.dtools.ritopt.*;
+ import java.awt.*;
++import java.awt.event.* ;
+ import java.io.*;
+ import java.io.File;
+@@ -632,6 +633,15 @@
                              UIManager.put("SimpleInternalFrame.activeTitleBackground", GUIGlobals.gradientBlue);
                              //UIManager.put("TabbedPane.selected", Color.red);
                          }
                              UIManager.put("SimpleInternalFrame.activeTitleBackground", GUIGlobals.gradientBlue);
                              //UIManager.put("TabbedPane.selected", Color.red);
                          }