diff --git a/services/web/frontend/js/ide/outline/OutlineManager.js b/services/web/frontend/js/ide/outline/OutlineManager.js index 7a987be1fb..7804aa7d8d 100644 --- a/services/web/frontend/js/ide/outline/OutlineManager.js +++ b/services/web/frontend/js/ide/outline/OutlineManager.js @@ -15,7 +15,7 @@ class OutlineManager { this.outline = [] scope.$on('doc:after-opened', () => { - this.shareJsDoc = scope.editor.shareJsDoc + this.shareJsDoc = scope.editor.sharejs_doc this.isTexFile = isValidTeXFile(scope.editor.open_doc_name) this.updateOutline() this.broadcastChangeEvent()