julia
REPL: enable visual selection
#24725
Merged

REPL: enable visual selection #24725

rfourquet merged 3 commits into master from rf/repl/active-region
rfourquet
rfourquet rfourquet added REPL
rfourquet rfourquet force pushed from 1256ff9a to 6f4aad0e 8 years ago
rfourquet
Liso77
rfourquet
rfourquet rfourquet force pushed from 6f4aad0e to f2d3b85b 8 years ago
rfourquet
rfourquet LineEdit: register current action in MIState
c74d8cc3
rfourquet REPL: enable visual selection
d42c6be1
rfourquet REPL: enable "shift-selection"
25b82ff3
rfourquet rfourquet force pushed from f2d3b85b to 25b82ff3 8 years ago
rfourquet
rfourquet rfourquet merged 6e8c5d4c into master 8 years ago
rfourquet rfourquet deleted the rf/repl/active-region branch 8 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone