EditorView: implemented line scrolling with ctrl + up/down arrow