bool IsValid(EditorPositionState state) {
var textView = documentViewerControl.TextView;
if (state.CaretAffinity != PositionAffinity.Successor && state.CaretAffinity != PositionAffinity.Predecessor)
return false;
if (state.CaretVirtualSpaces < 0 || state.CaretVirtualSpaces > 10000)
return false;
if (state.CaretPosition < 0 || state.CaretPosition > textView.TextSnapshot.Length)
return false;
if (double.IsNaN(state.ViewportLeft) || state.ViewportLeft < 0 || state.ViewportLeft > 100000)
return false;
if (state.TopLinePosition < 0 || state.TopLinePosition > textView.TextSnapshot.Length)
return false;
if (double.IsNaN(state.TopLineVerticalDistance) || Math.Abs(state.TopLineVerticalDistance) > 10000)
return false;
return true;
}
void VisualElement_Loaded(object sender, RoutedEventArgs e) {
documentViewerControl.TextView.VisualElement.Loaded -= VisualElement_Loaded;
if (cachedEditorPositionState == null)
return;
InitializeState(cachedEditorPositionState);
cachedEditorPositionState = null;
}
void InitializeState(EditorPositionState state) {
var textView = documentViewerControl.TextView;
if (IsValid(state)) {
textView.ViewportLeft = state.ViewportLeft;
textView.DisplayTextLineContainingBufferPosition(new SnapshotPoint(textView.TextSnapshot, state.TopLinePosition), state.TopLineVerticalDistance, ViewRelativePosition.Top);
var newPos = new VirtualSnapshotPoint(new SnapshotPoint(textView.TextSnapshot, state.CaretPosition), state.CaretVirtualSpaces);
textView.Caret.MoveTo(newPos, state.CaretAffinity, true);
}
else
textView.Caret.MoveTo(new VirtualSnapshotPoint(textView.TextSnapshot, 0));
textView.Selection.Clear();
}
