Update patch 03_external_apps.
[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~/src/java/net/sf/jabref/JabRefPreferences.java jabref/src/java/net/sf/jabref/JabRefPreferences.java
9 --- jabref~/src/java/net/sf/jabref/JabRefPreferences.java       2007-10-08 21:51:28.000000000 +0200
10 +++ jabref/src/java/net/sf/jabref/JabRefPreferences.java        2007-10-09 18:32:25.000000000 +0200
11 @@ -109,9 +109,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", "evince");
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);