diff --git a/src/static/js/pad_editbar.js b/src/static/js/pad_editbar.js index 20c2842dc..9d42cba71 100644 --- a/src/static/js/pad_editbar.js +++ b/src/static/js/pad_editbar.js @@ -297,7 +297,7 @@ var padeditbar = (function() ace.ace_doUndoRedo(cmd); }); - toolbar.registerAceCommand("redo", function (cmd) { + toolbar.registerAceCommand("redo", function (cmd, ace) { ace.ace_doUndoRedo(cmd); });