Changeset 27056

Timestamp:

2013-03-12T13:26:32+13:00 (11 years ago)

Author:

sjm84

Message:

A possibly unnecessary fix

File:

• main/trunk/greenstone3/web/interfaces/default/js/debug_scripts.js (modified) (1 diff)

main/trunk/greenstone3/web/interfaces/default/js/debug_scripts.js

@@ -442 +442 @@
                 _editor.setValue(template);
                 _editor.clearSelection();
+                var UndoManager = require("ace/undomanager").UndoManager;
+                _editor.getSession().setUndoManager(new UndoManager());
                 
                 _textEditor.css({"min-height":"200px", "border-top":"5px solid #444"});