* New upstream release.
[debian/jabref.git] / debian / patches / 03_external_apps.dpatch
1 #! /bin/sh /usr/share/dpatch/dpatch-run
2 ## 03_external_apps.dpatch by  <gregor+debian@comodo.priv.at>
3 ##
4 ## All lines beginning with `## DP:' are a description of the patch.
5 ## DP: Change some external applications.
6
7 @DPATCH@
8 diff -urNad jabref-2.3~beta1~/src/java/net/sf/jabref/JabRefPreferences.java jabref-2.3~beta1/src/java/net/sf/jabref/JabRefPreferences.java
9 --- jabref-2.3~beta1~/src/java/net/sf/jabref/JabRefPreferences.java     2007-06-29 17:11:49.000000000 +0200
10 +++ jabref-2.3~beta1/src/java/net/sf/jabref/JabRefPreferences.java      2007-06-30 16:03:35.000000000 +0200
11 @@ -102,9 +102,9 @@
12              defaults.put("winEdtPath", "C:\\Program Files\\WinEdt Team\\WinEdt\\WinEdt.exe");
13              defaults.put("latexEditorPath", "C:\\Program Files\\LEd\\LEd.exe");
14          } else {
15 -                       defaults.put("pdfviewer", "acroread");
16 +                       defaults.put("pdfviewer", "xpdf");
17                         defaults.put("psviewer", "gv");
18 -                       defaults.put("htmlviewer", "mozilla");
19 +                       defaults.put("htmlviewer", "x-www-browser");
20                         defaults.put("lookAndFeel", "com.jgoodies.plaf.plastic.Plastic3DLookAndFeel");
21                 }
22          defaults.put("useDefaultLookAndFeel", Boolean.TRUE);