clear pending save action when project file changed.

Author: github0null

src/EIDEProject.ts

@@ -1524,6 +1524,13 @@ export abstract class AbstractProject implements CustomConfigurationProvider, Pr
         }
     }
 
+    clearPendingSave() {
+        if (this.__saveDelayTimer) {
+            clearTimeout(this.__saveDelayTimer);
+            this.__saveDelayTimer = undefined;
+        }
+    }
+
     InstallPack(packFile: File, reporter?: (progress?: number, message?: string) => void) {
         return this.packManager.Install(packFile, reporter);
     }

src/EIDEProjectExplorer.ts

@@ -828,7 +828,7 @@ class ProjectDataProvider implements vscode.TreeDataProvider<ProjTreeItem>, vsco
                 break;
         }
 
-        prj.Save(false, 1000); // save project file with a delay
+        prj.Save(false, 2500); // save project file with a delay
     }
 
     LoadWorkspaceProject(workspaceState: vscode.Memento) {
@@ -3589,9 +3589,9 @@ export class ProjectExplorer implements CustomConfigurationProvider {
         const uid = prj.getUid();
         const wsf = prj.getWorkspaceFile();
 
-        //
+        prj.clearPendingSave();
+
         // disable autosave
-        //
         this.enableAutoSave(false);
 
         if (this.__autosaveDisableTimeoutTimer) {
@@ -3603,9 +3603,7 @@ export class ProjectExplorer implements CustomConfigurationProvider {
             }, 5 * 60 * 1000, this);
         }
 
-        //
-        // do something
-        //
+        // ask user to reload project
         const msg = view_str$prompt$need_reload_project.replace('{}', prj.getProjectName());
         const ans = await vscode.window.showInformationMessage(msg, 'Yes', 'No');
         if (ans == 'Yes') {
@@ -3617,9 +3615,7 @@ export class ProjectExplorer implements CustomConfigurationProvider {
             this.__autosaveDisableTimeoutTimer = undefined;
         }
 
-        //
         // enable auto save
-        //
         this.enableAutoSave(true);
     }