[372] Do not detect closeAll when closedEditor is empty

Bug: #372 Change-Id: I75841ce712978f21e95eef21f24eb6de646f2422 Signed-off-by: Maxime Porhel <[email protected]>
eclipse-sirius · Apr 25, 2024 · 205de3b · 205de3b
1 parent e22287c
commit 205de3b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/internal/session/EditingSession.java b/...eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/internal/session/EditingSession.java
@@ -1,5 +1,5 @@
 /*******************************************************************************
- * Copyright (c) 2007, 2024 THALES GLOBAL SERVICES.
+ * Copyright (c) 2007, 2023 THALES GLOBAL SERVICES.
  * This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License 2.0
  * which accompanies this distribution, and is available at
@@ -533,7 +533,7 @@ public boolean needToBeSavedOnClose(IEditorPart editor) {
         }
 
         public boolean closeAllDetected() {
-            return closingEditors.size() == editors.size();
+            return !closingEditors.isEmpty() && closingEditors.size() == editors.size();
         }
 
         /**