@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
DocCommandGroupId that = (DocCommandGroupId) o;
if (!myDocument.equals(that.myDocument)) return false;
if (!myGroupId.equals(that.myGroupId)) return false;
return true;
}
@CalledInAwt
void setResolved(@NotNull Side side, boolean value) {
myResolved[side.getIndex()] = value;
markInnerFragmentsDamaged();
if (isResolved()) {
destroyInnerHighlighter();
} else {
// Destroy only resolved side to reduce blinking
Document document =
myViewer.getEditor(side.select(ThreeSide.LEFT, ThreeSide.RIGHT)).getDocument();
for (RangeHighlighter highlighter : myInnerHighlighters) {
if (document.equals(highlighter.getDocument())) {
highlighter.dispose(); // it's OK to call dispose() few times
}
}
}
}
