julia
Preserve point position when indenting.
#7981
Merged
Overview
Commits
2
Changes
View On GitHub

Preserve point position when indenting. #7981

JeffBezanson merged 2 commits into JuliaLang:master from Wilfred:indentation_fixes
Wilfred
Wilfred Preserve point position when indenting.
38059d02
Wilfred
JeffBezanson
ahdxb
Wilfred
kmsquire
Wilfred Don't skip over end keywords.
0084fef1
JeffBezanson JeffBezanson merged 02d2ea0f into master 11 years ago
Wilfred Wilfred deleted the indentation_fixes branch 11 years ago

Login to write a write a comment.

Login via GitHub

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