[jabref] 205/459: remove 04_HONOR_DISPLAY_PROPERTIES.patch, not needed any more

[gregor herrmann]

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

gregoa pushed a commit to branch master
in repository jabref.

commit 15bbdc7a4bbd218d4e939745de92bb8586190d6a
Author: gregor herrmann <gregoa at debian.org>
Date:   Sat Sep 12 21:14:31 2009 +0000

    remove 04_HONOR_DISPLAY_PROPERTIES.patch, not needed any more
---
 debian/changelog                                 |  1 +
 debian/patches/04_HONOR_DISPLAY_PROPERTIES.patch | 20 --------------------
 debian/patches/series                            |  1 -
 3 files changed, 1 insertion(+), 21 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index e99493b..362ab20 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -28,6 +28,7 @@ jabref (2.5-1) UNRELEASED; urgency=low
   * Patches:
     - update 01_free_javac.patch, 02_libs.patch, 03_external_apps.patch,
       05_antlr.patch
+    - remove 04_HONOR_DISPLAY_PROPERTIES.patch, not needed any more
     - remove 06_forms_groups.patch, applied upstream
     - add new 06_BibtexEntry.patch
   * debian/rules: install new version of changelog; don't use the deprecated
diff --git a/debian/patches/04_HONOR_DISPLAY_PROPERTIES.patch b/debian/patches/04_HONOR_DISPLAY_PROPERTIES.patch
deleted file mode 100644
index ea49ed2..0000000
--- a/debian/patches/04_HONOR_DISPLAY_PROPERTIES.patch
+++ /dev/null
@@ -1,20 +0,0 @@
-Author: <gregoa at debian.org>
-Description: JEditorPane.HONOR_DISPLAY_PROPERTIES not understood by java-gcj-compat-dev ...
---- a/src/java/net/sf/jabref/JabRefMain.java
-+++ b/src/java/net/sf/jabref/JabRefMain.java
-@@ -109,7 +109,6 @@
-                 "We are sorry for the trouble and thanks for reporting problems with JabRef!</html>");
-             pane.setEditable(false);
-             pane.setOpaque(false);
--            pane.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, Boolean.TRUE);
-             
-             Component componentToDisplay;
-             if (pane.getPreferredSize().getHeight() > 700){
-@@ -157,7 +156,6 @@
-                 "<p>For more information visit <b>http://jabref.sf.net/faq.php</b>.</p></html>");
-             pane.setEditable(false);
-             pane.setOpaque(false);
--            pane.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, Boolean.TRUE);
-             
-             JOptionPane.showMessageDialog(null, pane, "Insufficient Java Version Installed", JOptionPane.ERROR_MESSAGE);
-         }
diff --git a/debian/patches/series b/debian/patches/series
index f61b552..69a2066 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,6 +1,5 @@
 01_free_javac.patch
 02_libs.patch
 03_external_apps.patch
-04_HONOR_DISPLAY_PROPERTIES.patch
 05_antlr.patch
 06_BibtexEntry.patch

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