julia
prevent `edit_move_right` from extending an active region
#61378
Merged
Overview
Commits
2
Changes
View On GitHub

prevent `edit_move_right` from extending an active region #61378

adienes merged 2 commits into JuliaLang:master from matthias314:m3/edit-move-right
matthias314
matthias314 prevent `edit_move_right` from extending region
6a193939
oscardssmith
rfourquet rfourquet added REPL
rfourquet rfourquet added bugfix
matthias314 added test
4ed8e754
matthias314
adienes adienes merged 625f3c33 into master 7 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
REPL bugfix
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum