PR #23377 REPL: implement a kill ring

REPL: implement a kill ring #23377

rfourquet merged 6 commits into master from rf/REPL-killring

rfourquet added REPL

rfourquet added needs tests

rfourquet force pushed from 152b1db4 to a0a04f2b 8 years ago

rfourquet force pushed from a0a04f2b to 5dd88438 8 years ago

REPL: free-up '\0' as a key (sent by Ctrl-Space)

dd7feaea

REPL: add few "region" operations

adae8305

REPL: register previous run action as symbol

9cf7505c

REPL: implement a kill ring (fix part of #8447)

c2cbef26

REPL: specify regions with open-close ranges using Pairs

2d962c1e

REPL: add tests for the kill ring

8422d505

rfourquet force pushed from 5dd88438 to 8422d505 8 years ago

rfourquet merged f5b96f78 into master 8 years ago

rfourquet deleted the rf/REPL-killring branch 8 years ago

rfourquet removed needs tests

Reviewers

No reviews

Assignees

No one assigned

Labels

REPL

Milestone

No milestone