Fix title refresh

ShikunXiong · Mar 16, 2020 · f52bd03 · f52bd03
1 parent 3f9922e
commit f52bd03
Showing 1 changed file with 1 addition 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
@@ -129,6 +129,7 @@ private boolean saveAs(Path file, SaveDatabaseMode mode) {
             // we managed to successfully save the file
             // thus, we can store the store the path into the context
             context.setDatabasePath(file);
+            frame.refreshTitleAndTabs();
 
             // Reinstall AutosaveManager and BackupManager for the new file name
             panel.resetChangeMonitorAndChangePane();