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