From 8acf84ebc364a5a7ac6d253fc3875787f8e620b9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Aleksander=20=C5=81ukasz?=
 <aleksander.lukasz@nowoczesnapolska.org.pl>
Date: Tue, 17 Dec 2013 17:38:38 +0100
Subject: [PATCH] editor fix: source editor should also react to contentSet
 event

This fixes source editor not reloading its content after revert.
---
 src/editor/modules/sourceEditor/sourceEditor.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/editor/modules/sourceEditor/sourceEditor.js b/src/editor/modules/sourceEditor/sourceEditor.js
index 420abc1..1930939 100644
--- a/src/editor/modules/sourceEditor/sourceEditor.js
+++ b/src/editor/modules/sourceEditor/sourceEditor.js
@@ -49,6 +49,9 @@ return function(sandbox) {
             wlxmlDocument.on('change', function() {
                 documentIsDirty = true;
             });
+            wlxmlDocument.on('contentSet', function() {
+                documentIsDirty = true;
+            });
         },
         getDocument: function() {
             return editor.getValue();
-- 
2.20.1