From b1b3962eca2b020366aa35d44f45cabe97226ed1 Mon Sep 17 00:00:00 2001 From: Michael Bangas Date: Mon, 24 Jun 2024 09:37:25 +0200 Subject: [PATCH] temporary workaround for gender issues --- .../eclipse/core/internal/localstore/RefreshLocalVisitor.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/localstore/RefreshLocalVisitor.java b/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/localstore/RefreshLocalVisitor.java index 0fb70969856..dbaf3ce2c0d 100644 --- a/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/localstore/RefreshLocalVisitor.java +++ b/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/localstore/RefreshLocalVisitor.java @@ -14,6 +14,7 @@ *******************************************************************************/ package org.eclipse.core.internal.localstore; +import org.eclipse.core.filesystem.ZipFileUtil; import org.eclipse.core.internal.resources.Container; import org.eclipse.core.internal.resources.File; import org.eclipse.core.internal.resources.Folder; @@ -247,7 +248,7 @@ protected boolean synchronizeGender(UnifiedTreeNode node, Resource target) throw return false; } } else { - if (!node.isFolder()) { + if (!node.isFolder() && !ZipFileUtil.isOpenZipFile(target.getStore())) { folderToFile(node, target); resourceChanged = true; return false;