From c5735a31df5479bb00143083fe9ac21fbcc0510a Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Tue, 20 Feb 2018 13:24:00 +0000 Subject: [PATCH] Remove unused listener --- .../coffee/ide/editor/sharejs/vendor/client/ace.coffee | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/services/web/public/coffee/ide/editor/sharejs/vendor/client/ace.coffee b/services/web/public/coffee/ide/editor/sharejs/vendor/client/ace.coffee index 177af1317e..462aa456f0 100644 --- a/services/web/public/coffee/ide/editor/sharejs/vendor/client/ace.coffee +++ b/services/web/public/coffee/ide/editor/sharejs/vendor/client/ace.coffee @@ -87,15 +87,6 @@ window.sharejs.extendDoc 'attach_ace', (editor, keepEditorContents, maxDocLength editorDoc.on 'change', editorListener - # Listen for remote ops on the sharejs document - docListener = (op) -> - suppress = true - applyToDoc editorDoc, op - suppress = false - - check() - - # Horribly inefficient. offsetToPos = (offset) -> # Again, very inefficient. @@ -154,7 +145,6 @@ window.sharejs.extendDoc 'attach_ace', (editor, keepEditorContents, maxDocLength check() doc.detach_ace = -> - doc.removeListener 'remoteop', docListener editorDoc.removeListener 'change', editorListener delete doc.detach_ace