protected void JumpToCurrentLocation (TextEditor editor)
{
if (version.BelongsToSameDocumentAs (editor.Version)) {
var currentOffset = version.MoveOffsetTo (editor.Version, offset);
var loc = editor.OffsetToLocation (currentOffset);
editor.SetCaretLocation (loc);
} else {
editor.SetCaretLocation (Math.Max (line, 1), Math.Max (column, 1));
}
}