function getCurrentFullEditor() {
        // This *should* always be equivalent to DocumentManager.getCurrentDocument()._masterEditor
        return _currentEditor;
    }
Returns the visible full-size Editor corresponding to DocumentManager.getCurrentDocument()