julia
REPL: change ^U to delete left part of the line
#24948

Merged

REPL: change ^U to delete left part of the line #24948

rfourquet merged 2 commits into master from rf/repl/ctrl-u

rfourquet added REPL

rfourquet force pushed from ac34f62f to 6356f27e 8 years ago

REPL: change ^U to delete left part of the line

a9339790

REPL: change ^C to "Clear" input area if not already empty

2f3abe9f

rfourquet force pushed from 6356f27e to 2f3abe9f 8 years ago

rfourquet changed the title ~~[RFC] REPL: change ^U to delete left part of the line~~ REPL: change ^U to delete left part of the line 8 years ago

rfourquet merged 8a6a18d0 into master 8 years ago

rfourquet deleted the rf/repl/ctrl-u branch 8 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

REPL

Milestone

No milestone