mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
diagnostics for EA-18338
This commit is contained in:
+3
-1
@@ -904,7 +904,9 @@ public class DocumentationManager {
|
||||
}
|
||||
|
||||
public Project getProject(@Nullable final PsiElement element) {
|
||||
assert element == null || !element.isValid() || myProject == element.getProject();
|
||||
if (element != null && element.isValid()) {
|
||||
assert myProject == element.getProject() : myProject + "!=" + element.getProject();
|
||||
}
|
||||
return myProject;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user