Update undo.js

A small change for shortcut key for redo