From 38a91e102e1fe8e2f7d26fbeff777b9f5f88ebdd Mon Sep 17 00:00:00 2001 From: Ali_Zhagparov Date: Thu, 15 Nov 2018 09:51:46 +0600 Subject: [PATCH] fix save button --- .../java/org/jabref/gui/exporter/SaveDatabaseAction.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java b/src/main/java/org/jabref/gui/exporter/SaveDatabaseAction.java index 60d43a613cb..ecd1d7e6a2f 100644 --- 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 savePath = getSavePath(); + if (savePath.isPresent()) { + saveAs(savePath.get()); + return true; + } } + return false; }