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);