public void ScrollDownAndMoveCaretIfNecessary() => EditorOperations.ScrollDownAndMoveCaretIfNecessary();