code: def redo(self):
          
          self.undo_manager.redo()
          self.notify_observers()
          logging.debug('undo_manager redo stack={}'.format(self.undo_manager._redo_stack))
docs: Redo the latest undone command.