debian/patches/04_HONOR_DISPLAY_PROPERTIES.patch

   1 Author: <gregoa@debian.org>
   2 Description: JEditorPane.HONOR_DISPLAY_PROPERTIES not understood by java-gcj-compat-dev ...
   3 --- a/src/java/net/sf/jabref/JabRefMain.java
   4 +++ b/src/java/net/sf/jabref/JabRefMain.java
   5 @@ -109,7 +109,6 @@
   6                  "We are sorry for the trouble and thanks for reporting problems with JabRef!</html>");\r
   7              pane.setEditable(false);\r
   8              pane.setOpaque(false);\r
   9 -            pane.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, Boolean.TRUE);\r
  10              \r
  11              Component componentToDisplay;\r
  12              if (pane.getPreferredSize().getHeight() > 700){\r
  13 @@ -157,7 +156,6 @@
  14                  "<p>For more information visit <b>http://jabref.sf.net/faq.php</b>.</p></html>");\r
  15              pane.setEditable(false);\r
  16              pane.setOpaque(false);\r
  17 -            pane.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, Boolean.TRUE);\r
  18              \r
  19              JOptionPane.showMessageDialog(null, pane, "Insufficient Java Version Installed", JOptionPane.ERROR_MESSAGE);\r
  20          }\r