mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
already disposed
This commit is contained in:
+1
-1
@@ -108,7 +108,7 @@ public class BraceHighlightingHandler {
|
||||
@NotNull final Processor<BraceHighlightingHandler> processor) {
|
||||
ApplicationManagerEx.getApplicationEx().assertIsDispatchThread();
|
||||
final Project project = editor.getProject();
|
||||
if (project == null) return;
|
||||
if (project == null || project.isDisposed()) return;
|
||||
if (!PROCESSED_EDITORS.add(editor)) {
|
||||
// Skip processing if that is not really necessary.
|
||||
// Assuming to be in EDT here.
|
||||
|
||||
Reference in New Issue
Block a user