@Override
  public FoldRegion @NotNull [] getAllFoldRegions() {
    FoldRegion[] all = myDelegate.getAllFoldRegions();
    List<FoldRegion> result = getWindowRegions(Arrays.asList(all));
    return result.toArray(FoldRegion.EMPTY_ARRAY);
  }
@Override
  public FoldRegion @NotNull [] getAllFoldRegions()