public void Add(FoldingRegion foldingRegion) { foldingRegions.Add(foldingRegion); }
public void Add(FoldingRegion region) { EnsureFoldingList().Add(region); }
public void Add(FoldingRegion region) { foldings.Add(region); }
void AddRegion (string name, ILocation startLocation, ILocation endLocation) { DomRegion region; if (endLocation == null) region = new DomRegion (startLocation.BeginLine, startLocation.BeginColumn, startLocation.EndLine, startLocation.EndColumn); else region = new DomRegion (startLocation.BeginLine, startLocation.BeginColumn, endLocation.EndLine, endLocation.EndColumn); FoldingRegion f = new FoldingRegion (name, region); regions.Add (f); }