From 80e45e1192e4f3c66d3c35962fbbbfb980fa624c Mon Sep 17 00:00:00 2001
From: Marcel Klehr <mklehr@gmx.net>
Date: Sun, 30 Mar 2014 13:05:51 +0200
Subject: [PATCH] Fix redo toolbar command, again.

---
 src/static/js/pad_editbar.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/static/js/pad_editbar.js b/src/static/js/pad_editbar.js
index 20c2842d..9d42cba7 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);
     });