mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
handle editor death gracefully (EA-28583)
This commit is contained in:
+7
-1
@@ -446,7 +446,13 @@ public class CompletionProgressIndicator extends ProgressIndicatorBase implement
|
||||
if (!(phase instanceof CompletionPhase.BgCalculation) || phase.indicator != CompletionProgressIndicator.this) return;
|
||||
|
||||
LOG.assertTrue(!getProject().isDisposed(), "project disposed");
|
||||
LOG.assertTrue(!myEditor.isDisposed(), "editor disposed");
|
||||
|
||||
if (myEditor.isDisposed()) {
|
||||
LookupManager.getInstance(getProject()).hideActiveLookup();
|
||||
CompletionServiceImpl.setCompletionPhase(CompletionPhase.NoCompletion);
|
||||
return;
|
||||
}
|
||||
|
||||
if (myEditor instanceof EditorWindow) {
|
||||
LOG.assertTrue(((EditorWindow)myEditor).getInjectedFile().isValid(), "injected file !valid");
|
||||
LOG.assertTrue(((DocumentWindow)myEditor.getDocument()).isValid(), "docWindow !valid");
|
||||
|
||||
Reference in New Issue
Block a user