integration wip: highlight/dim/select node via family tree

[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 8159680..0d7b12e 100644 (file)
--- a/src/editor/modules/sourceEditor/sourceEditor.js
+++ b/src/editor/modules/sourceEditor/sourceEditor.js
@@ -13,6 +13,8 @@ return function(sandbox) {
         if(documentIsDirty) {
             editor.setValue(wlxmlDocument.toXML());
             editor.gotoLine(0);
         if(documentIsDirty) {
             editor.setValue(wlxmlDocument.toXML());
             editor.gotoLine(0);

+            documentEditedHere = false;
+

             sandbox.publish('documentSet');
             documentIsDirty = false;
         }
             sandbox.publish('documentSet');
             documentIsDirty = false;
         }