public void ScrollTo (int line, int column) { if (Parent != null) Parent.ScrollTo (line, column); }
public static void Redo(TextEditorData data) { if (data.Document.ReadOnly) { return; } if (CancelPreEditMode(data)) { return; } var offset = data.Document.RedoBeginOffset; data.Document.Redo(); if (offset >= 0) { data.ScrollTo(offset); } }