Changeset 27056

Show
Ignore:
Timestamp:
12.03.2013 13:26:32 (7 years ago)
Author:
sjm84
Message:

A possibly unnecessary fix

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/web/interfaces/default/js/debug_scripts.js

    r27055 r27056  
    442442                _editor.setValue(template); 
    443443                _editor.clearSelection(); 
     444                var UndoManager = require("ace/undomanager").UndoManager; 
     445                _editor.getSession().setUndoManager(new UndoManager()); 
    444446                 
    445447                _textEditor.css({"min-height":"200px", "border-top":"5px solid #444"});