GitOrigin-RevId: 4180ef0b7720b38ca1511c4f96de14e03b0a3ea5
@@ -120,5 +120,9 @@ export default App.factory('metadata', function ($http, ide) {
}, 1000))
}
+ window.addEventListener('editor:metadata-outdated', () => {
+ metadata.scheduleLoadDocMetaFromServer(ide.$scope.editor.sharejs_doc.doc_id)
+ })
+
return metadata
})