Should we make a new `Editor.toggleOverwrite` method which just does `this._codeMirror.toggleOverwrite(value)`, so that we don't access the private member `_codeMirror`?