mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
supporting ignored resource in schema location
This commit is contained in:
@@ -592,10 +592,11 @@ public class XmlHighlightVisitor extends PsiElementVisitor implements Validator.
|
||||
XmlFile file = null;
|
||||
|
||||
while(tokenizer.hasMoreElements()) {
|
||||
tokenizer.nextToken(); // skip namespace
|
||||
String namespace = tokenizer.nextToken(); // skip namespace
|
||||
if (!tokenizer.hasMoreElements()) return;
|
||||
String url = tokenizer.nextToken();
|
||||
|
||||
if(ExternalResourceManagerEx.getInstanceEx().isIgnoredResource(namespace)) continue;
|
||||
if (file == null) {
|
||||
file = (XmlFile)attribute.getContainingFile();
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user