fix: rename an opened file and edit the file, the file name in tab wi…

…ll be recovered to the original.
mindolph · Apr 5, 2023 · e903a51 · e903a51
1 parent 055400d
commit e903a51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/code/mindolph-core/src/main/java/com/mindolph/core/model/NodeData.java b/code/mindolph-core/src/main/java/com/mindolph/core/model/NodeData.java
@@ -103,6 +103,7 @@ public String getFileRelativePath() {
 
     public void setFile(File file) {
         this.file = file;
+        this.name = file.getName();
     }
 
     public NodeType getNodeType() {

diff --git a/code/mindolph-fx/src/main/java/com/mindolph/fx/view/FileTabView.java b/code/mindolph-fx/src/main/java/com/mindolph/fx/view/FileTabView.java
@@ -456,7 +456,7 @@ public void updateOpenedTabAndEditor(NodeData origNodeData, File newFile) {
             openedFileMap.put(origNodeData, tab);
             // update the editor's context for saving content to new file(path)
             Editable editable = tabEditorMap.get(tab);
-            editable.getEditorContext().setFileData(origNodeData);
+            editable.getEditorContext().getFileData().setFile(newFile);
             tab.setText((editable.isChanged() ? "*" : StringUtils.EMPTY) + newFile.getName());
             tab.setTooltip(new Tooltip(newFile.getPath()));
         }