Update MiniEditor scroll properly when EditorView scroll changes