parameters: (self)
return_statement: return self.edit("redo")
docstring: Redo the last undone edit
  
          When the undo option is true, reapplies the last
          undone edits provided no other edits were done since
          then. Generates an error when the redo stack is empty.
          Does nothing when the undo option is false.
docstring_summary: Redo the last undone edit
docstring_tokens: Redo the last undone edit
function: def edit_redo(self):
          """Redo the last undone edit
  
          When the undo option is true, reapplies the last
          undone edits provided no other edits were done since
          then. Generates an error when the redo stack is empty.
          Does nothing when the undo option is false.
          """
          return self.edit("redo")
function_tokens: def edit_redo ( self ) : return self . edit ( "redo" )