Redo#812

Merged

thomasballinger merged 6 commits intobpython:masterfrom

Jun 30, 2020

Commits on Jun 24, 2020

Commits on Jun 25, 2020

Updated redo with Tom's suggestions: made redo configurable and improved formatting
allgo27
committed
prompt_undo() -> undo(), removed extraneous whitespace
allgo27
committed
Updated tests with new redo-friendly variable names (insert_into_history -> new_code)
allgo27
committed

Commits on Jun 26, 2020

Added redo to sample-config
allgo27
committed