@@ -88,6 +88,10 @@ function addEventListenersToCodemirror() {
//// change event
editor.on('change', (cm, change) => {
+ if (change.origin === 'ignoreHistory') {
+ // do nothing because this operation triggered by other user
+ return;
+ }
debouncedPostParentToNotifyBodyChanges(cm.doc.getValue());
});