Fix #4703: Newline format couldn't be changed (#4720)

Fixes #4703.
JabRef · Mar 5, 2019 · bdf7aa6 · bdf7aa6
1 parent fb9f3ec
commit bdf7aa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/org/jabref/gui/preferences/FileTab.java b/src/main/java/org/jabref/gui/preferences/FileTab.java
@@ -211,7 +211,7 @@ public void storeSettings() {
         }
 
         String newline;
-        switch (newlineSeparator.getPromptText()) {
+        switch (newlineSeparator.getValue()) {
             case "CR":
                 newline = "\r";
                 break;