@RequiresEdt
  public void reinstallHighlighters() {
    destroyHighlighters();
    installHighlighters();

    destroyInnerHighlighters();
    installInnerHighlighters();

    destroyOperations();
    installOperations();
  }
@RequiresEdt
  public void reinstallHighlighters()