void () { super.clearDiffPresentation(); for (RangeHighlighter operation : myHighlighters) { operation.dispose(); } myHighlighters.clear(); myGutterCheckboxMouseMotionListener.destroyHoverHighlighter(); }