@RequiresEdt
  protected void destroyOperations() {
    for (DiffGutterOperation operation : myOperations) {
      operation.dispose();
    }
    myOperations.clear();
  }
@RequiresEdt
  protected void destroyOperations()