mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-29333 - NPE: LivePreview.removeFromEditor
This commit is contained in:
@@ -250,7 +250,7 @@ public class LivePreview extends DocumentAdapter implements ReplacementView.Dele
|
||||
}
|
||||
myVisibleAreaListenersToRemove.clear();
|
||||
Project project = mySearchResults.getProject();
|
||||
if (!project.isDisposed()) {
|
||||
if (project != null && !project.isDisposed()) {
|
||||
for (RangeHighlighter h : myHighlighters) {
|
||||
HighlightManager.getInstance(project).removeSegmentHighlighter(editor, h);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user