rename patches to their old names to keep the delta small
[debian/jabref.git] / 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