Not many developers put in a redo button because they assume that if you click the undo button it is because you made a mistake; and you would not want to repeat the mistake again with a redo button.  (Microsoft Office is the exception)