刷新写入文件到磁盘 2023年6月7日12:25:11

src/main/java/com/zhangmeng/tools/controller/FileEditController.java

@@ -135,10 +135,12 @@ public class FileEditController {
         try {
             FileWriter writer = new FileWriter(path.toFile());
             writer.write(text);
+            writer.flush();
             writer.close();
         } catch (IOException ex) {
             ex.printStackTrace();
         }
+        AlertUtils.alert_warning("tab " + selectedItem.getText() + "保存成功!");
     }
 
     public void init_file_list() {