public void MarkFoldEnd() { NewFolding f = openFoldings.Pop(); f.EndOffset = this.TextLength; this.Foldings.Add(f); }