Fixes #66. Remove deprecated call to EditorView.redraw