[jabref] 417/459: Add patch to swap labels for checkboxes in Options

gregor herrmann gregoa at debian.org
Thu Sep 15 20:41:31 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 1cc2759540919361bec74d0854086fe80487ec61
Author: gregor herrmann <gregoa at debian.org>
Date:   Wed Sep 11 19:41:05 2013 +0200

    Add patch to swap labels for checkboxes in Options
    
    → Preferences → File.
    
    Thanks: Vincent Fourmond for the bug report.
    Closes: #722427
---
 debian/patches/options_preferences_file.patch | 20 ++++++++++++++++++++
 debian/patches/series                         |  1 +
 2 files changed, 21 insertions(+)

diff --git a/debian/patches/options_preferences_file.patch b/debian/patches/options_preferences_file.patch
new file mode 100644
index 0000000..c683ad2
--- /dev/null
+++ b/debian/patches/options_preferences_file.patch
@@ -0,0 +1,20 @@
+Description: Swap labels in Options -> Preferences -> File
+Origin: vendor
+Bug-Debian: http://bugs.debian.org/722427
+Forwarded: via private mail
+Author: gregor herrmann <gregoa at 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);
diff --git a/debian/patches/series b/debian/patches/series
index 9ed273d..1da5505 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 debian_libs.patch
 mrDlib_jayatana.patch
 generated_JabRefPlugin.java.patch
+options_preferences_file.patch

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