Add redraw method to editor widget
Add a scrollToLine method