public void ScrollTo (int offset) { if (Parent != null) Parent.ScrollTo (offset); }
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); } }