[jabref] 79/459: * Add patch 03_external_apps to change the default settings for some external applications; thanks to Cédric Augonnet (closes: #421227). * Convert debian/changelog to UTF-8 (again).

gregor herrmann gregoa at debian.org
Thu Sep 15 20:39:47 UTC 2016


This is an automated email from the git hooks/post-receive script.

gregoa pushed a commit to branch master
in repository jabref.

commit e2a95cc9ccff412da7f5943a10d285256bdadf06
Author: gregor herrmann <gregoa at debian.org>
Date:   Fri Apr 27 14:25:27 2007 +0000

    * Add patch 03_external_apps to change the default settings for some
      external applications; thanks to Cédric Augonnet (closes: #421227).
    * Convert debian/changelog to UTF-8 (again).
---
 debian/changelog                       |  8 ++++++++
 debian/patches/00list                  |  1 +
 debian/patches/03_external_apps.dpatch | 34 ++++++++++++++++++++++++++++++++++
 3 files changed, 43 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 3758e00..ae2999d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+jabref (2.2-01-6) unstable; urgency=low
+
+  * Add patch 03_external_apps to change the default settings for some
+    external applications; thanks to Cédric Augonnet (closes: #421227).
+  * Convert debian/changelog to UTF-8 (again).
+
+ -- gregor herrmann <gregor+debian at comodo.priv.at>  Fri, 27 Apr 2007 15:07:18 +0200
+
 jabref (2.2-01-5) unstable; urgency=low
 
   * Exec the Java interpreter in /usr/bin/jabref; thanks to Tobias Richter
diff --git a/debian/patches/00list b/debian/patches/00list
index 2a20555..eaab941 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1 +1,2 @@
 01_free_javac
+03_external_apps
diff --git a/debian/patches/03_external_apps.dpatch b/debian/patches/03_external_apps.dpatch
new file mode 100755
index 0000000..2ac4d87
--- /dev/null
+++ b/debian/patches/03_external_apps.dpatch
@@ -0,0 +1,34 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 03_external_apps.dpatch by  <gregor+debian at comodo.priv.at>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Change the default path to some external applications.
+
+ at DPATCH@
+diff -urNad jabref~/src/java/net/sf/jabref/JabRefPreferences.java jabref/src/java/net/sf/jabref/JabRefPreferences.java
+--- jabref~/src/java/net/sf/jabref/JabRefPreferences.java	2007-02-02 14:51:14.000000000 +0100
++++ jabref/src/java/net/sf/jabref/JabRefPreferences.java	2007-04-27 16:18:43.000000000 +0200
+@@ -97,10 +97,12 @@
+ 			defaults.put("psviewer", "cmd.exe /c start /b");
+ 			defaults.put("htmlviewer", "cmd.exe /c start /b");
+ 			defaults.put("lookAndFeel", "com.jgoodies.plaf.windows.ExtWindowsLookAndFeel");
++			defaults.put("winEdtPath", "C:\\Program Files\\WinEdt Team\\WinEdt\\WinEdt.exe");
++			defaults.put("latexEditorPath", "C:\\TEMP\\Led.exe");
+ 		} else {
+-			defaults.put("pdfviewer", "acroread");
++			defaults.put("pdfviewer", "gv");
+ 			defaults.put("psviewer", "gv");
+-			defaults.put("htmlviewer", "mozilla");
++			defaults.put("htmlviewer", "x-www-browser");
+ 			defaults.put("lookAndFeel", "com.jgoodies.plaf.plastic.Plastic3DLookAndFeel");
+ 		}
+         defaults.put("useDefaultLookAndFeel", Boolean.TRUE);
+@@ -180,8 +182,6 @@
+         defaults.put("highlightGroupsMatchingAll", Boolean.FALSE);
+         defaults.put("searchPanelVisible", Boolean.FALSE);
+         defaults.put("defaultEncoding", System.getProperty("file.encoding"));
+-        defaults.put("winEdtPath", "C:\\Program Files\\WinEdt Team\\WinEdt\\WinEdt.exe");
+-        defaults.put("latexEditorPath", "C:\\TEMP\\Led.exe");
+         defaults.put("groupsVisibleRows", new Integer(8));
+         defaults.put("defaultOwner", System.getProperty("user.name"));
+         defaults.put("preserveFieldFormatting", Boolean.FALSE);

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git



More information about the pkg-java-commits mailing list