From 8c4e4bab3fad94656d19502bcf572e7d6c963422 Mon Sep 17 00:00:00 2001
From: Brian Gough <briangough@users.noreply.github.com>
Date: Fri, 19 Jun 2020 09:22:34 +0100
Subject: [PATCH] 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 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/services/web/frontend/js/ide/editor/Document.js b/services/web/frontend/js/ide/editor/Document.js
index 2a7f5dd43f..e9568d75f1 100644
--- a/services/web/frontend/js/ide/editor/Document.js
+++ b/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) {