MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

EA-25516: already disposed

Browse Source
This commit is contained in:
andrey zaytsev
2011-02-22 19:58:30 +03:00
parent c04314608c
commit 7b6139a37f
1 changed files with 18 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/find/impl/livePreview/LivePreview.java
+18 -12
View File
@@ -30,6 +30,7 @@ import com.intellij.openapi.editor.markup.CustomHighlighterRenderer;
import com.intellij.openapi.editor.markup.EffectType;
import com.intellij.openapi.editor.markup.RangeHighlighter;
import com.intellij.openapi.editor.markup.TextAttributes;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.ui.popup.Balloon;
import com.intellij.openapi.ui.popup.BalloonBuilder;
import com.intellij.openapi.ui.popup.JBPopupFactory;
@@ -187,12 +188,15 @@ public class LivePreview extends DocumentAdapter implements ReplacementView.Dele
editor.getScrollingModel().removeVisibleAreaListener(visibleAreaListener);
}
myVisibleAreaListenersToRemove.clear();
for (RangeHighlighter h : myHighlighters) {
HighlightManager.getInstance(mySearchResults.getProject()).removeSegmentHighlighter(editor, h);
}
if (myCursorHighlighter != null) {
HighlightManager.getInstance(mySearchResults.getProject()).removeSegmentHighlighter(editor, myCursorHighlighter);
myCursorHighlighter = null;
Project project = mySearchResults.getProject();
if (!project.isDisposed()) {
for (RangeHighlighter h : myHighlighters) {
HighlightManager.getInstance(project).removeSegmentHighlighter(editor, h);
}
if (myCursorHighlighter != null) {
HighlightManager.getInstance(project).removeSegmentHighlighter(editor, myCursorHighlighter);
myCursorHighlighter = null;
}
}
}
}
@@ -247,11 +251,14 @@ public class LivePreview extends DocumentAdapter implements ReplacementView.Dele
}
private void highlightRange(TextRange textRange, TextAttributes attributes, Collection<RangeHighlighter> highlighters) {
HighlightManager highlightManager = HighlightManager.getInstance(mySearchResults.getProject());
if (highlightManager != null) {
highlightManager.addRangeHighlight(mySearchResults.getEditor(),
textRange.getStartOffset(), textRange.getEndOffset(),
attributes, false, highlighters);
Project project = mySearchResults.getProject();
if (!project.isDisposed()) {
HighlightManager highlightManager = HighlightManager.getInstance(project);
if (highlightManager != null) {
highlightManager.addRangeHighlight(mySearchResults.getEditor(),
textRange.getStartOffset(), textRange.getEndOffset(),
attributes, false, highlighters);
}
}
}
@@ -269,7 +276,6 @@ public class LivePreview extends DocumentAdapter implements ReplacementView.Dele
drawSegment(editor, new TextRange(offset, newOffset), g);
offset = newOffset+1;
}
}
private static void drawSegment(Editor editor, Segment highlighter, Graphics g) {