Merge pull request #4484 from Ali96kz/4467-fix-save-button

JabRef · Nov 16, 2018 · 436f71c · 436f71c
2 parents 81f15e9 + 38a91e1
commit 436f71c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java b/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java
@@ -163,7 +163,14 @@ public boolean save() {
             panel.frame().output(Localization.lang("Saving library") + "...");
             panel.setSaving(true);
             return doSave();
+        } else {
+            Optional<Path> savePath = getSavePath();
+            if (savePath.isPresent()) {
+                saveAs(savePath.get());
+                return true;
+            }
         }
+
         return false;
     }