[jabref] 105/459: Create new patch 04_HONOR_DISPLAY_PROPERTIES.dpatch.

[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 9f696a207265a3da2be59f57e3390c7e5dc040ae
Author: gregor herrmann <gregoa at debian.org>
Date:   Tue Oct 9 16:57:36 2007 +0000

    Create new patch 04_HONOR_DISPLAY_PROPERTIES.dpatch.
---
 debian/changelog                                  |  3 ++-
 debian/patches/00list                             |  1 +
 debian/patches/04_HONOR_DISPLAY_PROPERTIES.dpatch | 26 +++++++++++++++++++++++
 3 files changed, 29 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 9d7fc1b..3e12a76 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,8 +8,9 @@ jabref (2.3~beta3-1) UNRELEASED; urgency=low
     debian/rules. Move ant from Build-Depends-Indep to Build-Depends.
   * Update patch 03_external_apps.
   * Remove patch 04_logger, not needed anymore.
+  * Create new patch 04_HONOR_DISPLAY_PROPERTIES.dpatch.
 
- -- gregor herrmann <gregor+debian at comodo.priv.at>  Tue, 09 Oct 2007 18:44:30 +0200
+ -- gregor herrmann <gregor+debian at comodo.priv.at>  Tue, 09 Oct 2007 18:56:21 +0200
 
 jabref (2.3~beta2-1) unstable; urgency=low
 
diff --git a/debian/patches/00list b/debian/patches/00list
index eaab941..4626e1d 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,2 +1,3 @@
 01_free_javac
 03_external_apps
+04_HONOR_DISPLAY_PROPERTIES
diff --git a/debian/patches/04_HONOR_DISPLAY_PROPERTIES.dpatch b/debian/patches/04_HONOR_DISPLAY_PROPERTIES.dpatch
new file mode 100755
index 0000000..546b558
--- /dev/null
+++ b/debian/patches/04_HONOR_DISPLAY_PROPERTIES.dpatch
@@ -0,0 +1,26 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 04_HONOR_DISPLAY_PROPERTIES.dpatch by  <gregor+debian at comodo.priv.at>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: JEditorPane.HONOR_DISPLAY_PROPERTIES not understood by java-gcj-compat-dev ...
+
+ at DPATCH@
+diff -urNad jabref~/src/java/net/sf/jabref/JabRefMain.java jabref/src/java/net/sf/jabref/JabRefMain.java
+--- jabref~/src/java/net/sf/jabref/JabRefMain.java	2007-10-08 21:51:47.000000000 +0200
++++ jabref/src/java/net/sf/jabref/JabRefMain.java	2007-10-09 18:55:12.000000000 +0200
+@@ -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);
+         }

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