mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote branch 'origin/master'
This commit is contained in:
@@ -17,6 +17,7 @@ package com.intellij.xml.index;
|
||||
|
||||
import com.intellij.openapi.module.Module;
|
||||
import com.intellij.openapi.module.ModuleUtilCore;
|
||||
import com.intellij.openapi.project.DumbService;
|
||||
import com.intellij.openapi.project.Project;
|
||||
import com.intellij.openapi.vfs.VirtualFile;
|
||||
import com.intellij.psi.PsiFile;
|
||||
@@ -158,6 +159,8 @@ public class XmlNamespaceIndex extends XmlIndex<XsdNamespaceBuilder> {
|
||||
@Nullable final String version,
|
||||
@NotNull PsiFile file) {
|
||||
|
||||
if (DumbService.isDumb(file.getProject())) return null;
|
||||
|
||||
IndexedRelevantResource<String,XsdNamespaceBuilder> resource =
|
||||
guessSchema(namespace, tagName, version, ModuleUtilCore.findModuleForPsiElement(file));
|
||||
if (resource == null) return null;
|
||||
|
||||
Reference in New Issue
Block a user