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 <[email protected]> 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 <[email protected]> Tue, 09 Oct 2007 18:44:30 +0200 + -- gregor herrmann <[email protected]> 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 <[email protected]> +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: JEditorPane.HONOR_DISPLAY_PROPERTIES not understood by java-gcj-compat-dev ... + +@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 _______________________________________________ pkg-java-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
