Actually implement the redo button

Work on #59