Check widget is dirty before saving

Signed-off-by: thegecko <rob.moran@arm.com>
eclipse-theia · Apr 22, 2021 · a082473 · a082473
1 parent 66b3dc3
commit a082473
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/packages/core/src/browser/shell/application-shell.ts b/packages/core/src/browser/shell/application-shell.ts
@@ -1746,7 +1746,11 @@ export class ApplicationShell extends Widget {
      * Save all dirty widgets.
      */
     async saveAll(options?: SaveOptions): Promise<void> {
-        await Promise.all(this.tracker.widgets.map(widget => Saveable.save(widget, options)));
+        await Promise.all(this.tracker.widgets.map(widget => {
+            if (Saveable.isDirty(widget)) {
+                Saveable.save(widget, options);
+            }
+        }));
     }
 
     /**