519520521522523524525526527528529
public void undo() { if (doneCommands.size() > 0) { Command comm = doneCommands.pop(); comm.undo(); undoneCommands.push(comm); } ActionManager.getInstance().redoEnabled(true);