ScrollTo() public method

public ScrollTo ( Mono.TextEditor.DocumentLocation loc ) : void
loc Mono.TextEditor.DocumentLocation
return void
Example #1
0
        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);
            }
        }
		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);
		}