julia
InteractiveUtils: make editors pluggable via `define_editor`
#34107

Merged

InteractiveUtils: make editors pluggable via `define_editor` #34107

StefanKarpinski merged 2 commits into master from sk/define_editor

InteractiveUtils: make editors pluggable via `define_editor`

d22c88fa

StefanKarpinski added this to the 1.4 milestone 6 years ago

StefanKarpinski added REPL

StefanKarpinski force pushed from b9a4e2da to 61bd4093 6 years ago

InteractiveUtils: refactor `define_editor` implementation

5098a46a

StefanKarpinski force pushed from 61bd4093 to 5098a46a 6 years ago

StefanKarpinski merged a6bf74a2 into master 6 years ago

StefanKarpinski deleted the sk/define_editor branch 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

REPL

Milestone

1.4