From 205de3b68e291c73017b68854ce6f9d76e860b97 Mon Sep 17 00:00:00 2001 From: Maxime Porhel Date: Wed, 24 Apr 2024 11:31:48 +0200 Subject: [PATCH] [372] Do not detect closeAll when closedEditor is empty Bug: #372 Change-Id: I75841ce712978f21e95eef21f24eb6de646f2422 Signed-off-by: Maxime Porhel --- .../sirius/ui/business/internal/session/EditingSession.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/internal/session/EditingSession.java b/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/internal/session/EditingSession.java index 1f1d4a65a2..d8b7efebc2 100644 --- a/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/internal/session/EditingSession.java +++ b/plugins/org.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(); } /**