@Override
      public void bulkUpdateFinished(@NotNull Document document) {
        if (getDocument().getTextLength() == 0) {
          documentCleared();
        }
        else {
          addLineSeparatorPainterIfNeeded();
          updateGutterSize(0, Integer.MAX_VALUE);
        }
      }
@Override
      public void bulkUpdateFinished(@NotNull Document document)