From bdf7aa6b7ecc4c51592d30042919dabfa96fca28 Mon Sep 17 00:00:00 2001
From: Tobias Diez <tobiasdiez@gmx.de>
Date: Tue, 5 Mar 2019 12:55:36 +0100
Subject: [PATCH] Fix #4703: Newline format couldn't be changed (#4720)

Fixes #4703.
---
 src/main/java/org/jabref/gui/preferences/FileTab.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/jabref/gui/preferences/FileTab.java b/src/main/java/org/jabref/gui/preferences/FileTab.java
index 55e599e67ae..3bbc387f130 100644
--- 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;