do not show invalid breakpoints when rendering gutter events

This commit is contained in:
Eugene Zhuravlev
2011-03-25 13:10:48 +01:00
parent 6692b862b0
commit 843e3f3268
@@ -225,7 +225,7 @@ public class PositionHighlighter {
}
if (breakpoint instanceof BreakpointWithHighlighter) {
if (((BreakpointWithHighlighter)breakpoint).isVisible()) {
if (((BreakpointWithHighlighter)breakpoint).isVisible() && breakpoint.isValid()) {
breakpoint.reload();
final SourcePosition sourcePosition = ((BreakpointWithHighlighter)breakpoint).getSourcePosition();
if (sourcePosition == null || sourcePosition.getLine() != lineIndex) {