50aff91cf11336a442ba99eef3fceb0efa643bc1
[debian/jabref.git] / debian / patches / 03_external_apps.patch
1 Author: gregor herrmann <gregoa@debian.org>
2 Author: Philip Rinn <rinni@gmx.net>
3 Description: Change some external applications.
4 --- a/src/java/net/sf/jabref/JabRefPreferences.java
5 +++ b/src/java/net/sf/jabref/JabRefPreferences.java
6 @@ -147,9 +147,9 @@
7              defaults.put("fontFamily", "Arial");
8  
9          } else {
10 -                       defaults.put("pdfviewer", "evince");
11 +                       defaults.put("pdfviewer", "xpdf");
12                         defaults.put("psviewer", "gv");
13 -                       defaults.put("htmlviewer", "firefox");
14 +                       defaults.put("htmlviewer", "x-www-browser");
15                         defaults.put("lookAndFeel", "com.jgoodies.plaf.plastic.Plastic3DLookAndFeel");
16              defaults.put("fontFamily", "SansSerif");
17