[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