@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 } } } }