MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 21:11:28 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-359168 Workspace: impossible to remove unloaded project from workspace

Browse Source 
GitOrigin-RevId: 766a9897b9054b1833e859355b7b79bd5712a9aa
This commit is contained in:
Dmitry Avdeev
2024-10-04 12:36:56 +02:00
committed by intellij-monorepo-bot
parent 05d0cc2621
commit 09f5e6cd9b
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
platform/projectModel-impl/src/com/intellij/ide/projectView/impl/ProjectRootsUtil.java
View File

@@ -99,6 +99,7 @@ public final class ProjectRootsUtil {
return directoryFile.equals(contentRootForFile);
}
@Nullable
public static String findUnloadedModuleByContentRoot(@NotNull final VirtualFile root, @NotNull Project project) {
if (project.isDefault()) return null;
ProjectFileIndex fileIndex = ProjectFileIndex.getInstance(project);