private void releaseEditor() {
    if (getEditor() != null) {
      for (RangeHighlighter segmentHighlighter : myTabStopHighlighters) {
        segmentHighlighter.dispose();
      }
      myTabStopHighlighters.clear();
      setEditor(null);
    }
  }
private void releaseEditor()