From 0c9335fc7cf9b56d08705441013e45c1a49b807a Mon Sep 17 00:00:00 2001 From: Pierre-Charles David Date: Mon, 18 Sep 2023 16:17:31 +0200 Subject: [PATCH] [101] Fix refresh issue in Model Explorer Bug: https://github.com/eclipse-sirius/sirius-desktop/issues/101 Signed-off-by: Pierre-Charles David --- .../views/common/navigator/SiriusCommonContentProvider.java | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/tools/internal/views/common/navigator/SiriusCommonContentProvider.java b/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/tools/internal/views/common/navigator/SiriusCommonContentProvider.java index 06066d2bbc..820c2cf95e 100644 --- a/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/tools/internal/views/common/navigator/SiriusCommonContentProvider.java +++ b/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/tools/internal/views/common/navigator/SiriusCommonContentProvider.java @@ -1066,11 +1066,7 @@ public boolean apply(Notification notification) { } private boolean isSemanticChange(Resource resource) { - boolean result = false; - if (resource != null) { - allSemanticResources.contains(resource); - } - return result; + return resource != null && allSemanticResources.contains(resource); } }