EditorView.js documented