editor: styling gutter comments

[fnpeditor.git] / src / editor / modules / sourceEditor / sourceEditor.js

diff --git a/src/editor/modules/sourceEditor/sourceEditor.js b/src/editor/modules/sourceEditor/sourceEditor.js
index 8f0c833..12536ac 100644 (file)
--- a/src/editor/modules/sourceEditor/sourceEditor.js
+++ b/src/editor/modules/sourceEditor/sourceEditor.js
@@ -15,7 +15,6 @@ return function(sandbox) {
             editor.gotoLine(0);
             documentEditedHere = false;
 
-            sandbox.publish('documentSet');
             documentIsDirty = false;
         }
     };