REPL: allow editing current input in editor (via Meta-e)#33759

Merged

KristofferC merged 5 commits intomasterfrom rf/repl/edit_input

May 12, 2022

+70-12

Commits on May 11, 2022

REPL: allow editing current input in editor (via Meta-e)

rfourquet
authored and
KristofferC
committed
use less IOBuffer internals
KristofferC
committed
add NEWS
KristofferC
committed
test it as well
KristofferC
committed
add docs
KristofferC
committed