Sync collab plugin: Disable undo (not implemented yet)

src/main/webapp/plugins/cdf/versioning.browser.js

@@ -1919,6 +1919,15 @@ Draw.loadPlugin(async function(ui) {
   historyWrapper.newEmptyDiagram();
 
 
+  // HACK: disable undo
+  mxUndoManager.prototype.canUndo = function() {
+    return false;
+  };
+  mxUndoManager.prototype.canRedo = function() {
+    return false;
+  };
+
+
   // For debugging
   document.addEventListener('keydown', e => {
   //   console.log(e);

src/main/webapp/plugins/cdf/versioning.js

@@ -637,6 +637,15 @@ Draw.loadPlugin(async function(ui) {
   historyWrapper.newEmptyDiagram();
 
 
+  // HACK: disable undo
+  mxUndoManager.prototype.canUndo = function() {
+    return false;
+  };
+  mxUndoManager.prototype.canRedo = function() {
+    return false;
+  };
+
+
   // For debugging
   document.addEventListener('keydown', e => {
   //   console.log(e);