reload workspace

common/BatchExec.ts

@@ -2,8 +2,6 @@ import * as fs from 'fs';
 import * as path from 'path';
 import { BehaviorNodeModel, BehaviorTreeModel } from './BehaviorTreeModel';
 
-
-
 export default (scriptPath: string, dirPath: string) => {
     console.log("run script", scriptPath);
     const str = fs.readFileSync(scriptPath, "utf8");

common/MainEventType.ts

@@ -1,16 +1,15 @@
 export default {
     OPEN_FILE: "OPEN_FILE",
     OPEN_DIR: "OPEN_DIR",
-    OPEN_WORKSPACE: "OPEN_WORKSPACE",
+    RELOAD_SERVER: "RELOAD_SERVER",
+    BATCH_EXEC: "BATCH_EXEC",
     CREATE_TREE: "CREATE_TREE",
     CREATE_NODE: "CREATE_NODE",
     DELETE_NODE: "DELETE_NODE",
     COPY_NODE: "COPY_NODE",
     PASTE_NODE: "PASTE_NODE",
-    SAVE: "SAVE",
     SAVE_ALL: "SAVE_ALL",
-    RELOAD_SERVER: "RELOAD_SERVER",
+    SAVE: "SAVE",
     UNDO: "UNDO",
     REDO: "REDO",
-    BATCH_EXEC: "BATCH_EXEC",
 };

main-process/AppMenu.ts

@@ -262,6 +262,14 @@ export default class AppMenu {
                         saveToNewPath();
                     },
                 },
+                {
+                    label: "刷新",
+                    accelerator: "F5",
+                    click: () => {
+                        console.log("reload workspace");
+                        openWorkspace(this.settings.curWorkspace.getFilepath());
+                    },
+                },
                 {
                     label: "最近打开",
                     submenu: recentItems,

render-process/Explorer.tsx

@@ -422,9 +422,9 @@ export default class Explorer extends Component<ExplorerProps> {
                     onClick={(node: FileDataNode) => {
                         if (!node.isFolder) {
                             onOpenTree(node.path);
-                            this.setState({
+                            // this.setState({
-                                selectedKey:node.id
+                            //     selectedKey:node.id
-                            })
+                            // })
                         }
                     }}
                 ></DirectoryTree>