Redo - #812

Merged

thomasballinger merged 6 commits into

bpython:masterfrom

Jun 30, 2020

Commits on Jun 24, 2020

Redo in progress; still buggy
$allgo27$ allgo27
committed
586ad3c
Fixed redo; added redone lines to history
$allgo27$ allgo27
committed
6a929a6

Commits on Jun 25, 2020

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

Commits on Jun 26, 2020

Added redo to sample-config
$allgo27$ allgo27
committed
babad30