* Perform an undo
*
* @throws IOException if redraw fails
*/
private void undo() throws IOException {
UndoAction ua = undoManager.getNext();
if(ua != null) {
setBufferLine(ua.getBuffer());
redrawLine();
moveCursor(ua.getCursorPosition() - buffer.getCursor());
}
}