Drop options_preferences_file.patch, fixed upstream.
authorgregor herrmann <gregoa@debian.org>
Wed, 12 Mar 2014 17:38:12 +0000 (18:38 +0100)
committergregor herrmann <gregoa@debian.org>
Wed, 12 Mar 2014 17:38:12 +0000 (18:38 +0100)
debian/patches/options_preferences_file.patch [deleted file]
debian/patches/series

diff --git a/debian/patches/options_preferences_file.patch b/debian/patches/options_preferences_file.patch
deleted file mode 100644 (file)
index c683ad2..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-Description: Swap labels in Options -> Preferences -> File
-Origin: vendor
-Bug-Debian: http://bugs.debian.org/722427
-Forwarded: via private mail
-Author: gregor herrmann <gregoa@debian.org>
-Last-Update: 2013-09-11
-
---- a/src/java/net/sf/jabref/FileTab.java
-+++ b/src/java/net/sf/jabref/FileTab.java
-@@ -71,8 +71,8 @@
-                 Globals.lang("Quotes") + ": \", \"",
-                 Globals.lang("Curly Brackets") + ": {, }" });
-         includeEmptyFields = new JCheckBox(Globals.lang("Include empty fields"));
--        camelCase = new JCheckBox(Globals.lang("Start field contents in same column"));
--        sameColumn = new JCheckBox(Globals.lang("Use camel case for field names (e.g., \"HowPublished\" instead of \"howpublished\")"));
-+        camelCase = new JCheckBox(Globals.lang("Use camel case for field names (e.g., \"HowPublished\" instead of \"howpublished\")"));
-+        sameColumn = new JCheckBox(Globals.lang("Start field contents in same column"));
-         ButtonGroup bg = new ButtonGroup();
-         bg.add(saveAuthorOrder);
-         bg.add(saveOriginalOrder);
index 1da5505..9ed273d 100644 (file)
@@ -1,4 +1,3 @@
 debian_libs.patch
 mrDlib_jayatana.patch
 generated_JabRefPlugin.java.patch
 debian_libs.patch
 mrDlib_jayatana.patch
 generated_JabRefPlugin.java.patch
-options_preferences_file.patch