Merge pull request #2908 from overleaf/bg-add-missing-leave-doc-event

add leaveDoc event

GitOrigin-RevId: 6d8a40b1226ced7d853e2b72f02d484619a982ce

services/web/frontend/js/ide/editor/Document.js

@@ -540,6 +540,9 @@ export default (Document = (function() {
       if (callback == null) {
         callback = function(error) {}
       }
+      this.ide.pushEvent('leaveDoc', {
+        doc_id: this.doc_id
+      })
       sl_console.log('[_leaveDoc] Sending leaveDoc request')
       return this.ide.socket.emit('leaveDoc', this.doc_id, error => {
         if (error != null) {