public override string ToString() { if (this._number == 0) return "(Default Line Numbers)"; else if (this._number == 1) return "(Default Markers)"; else if (this._number == 2) return "(Default Folds)"; return base.ToString(); }