Rf/autoindentpaste improvements #30755
KristofferC
merged
5 commits into
JuliaLang:master
from
rf/autoindentpaste
REPL: disable auto-indent when code is likely being pasted (fix #25186)
96da9487
fix tests
6d5ffe9d
more reliability
7f0f45e4
Some improvements: autoident is now prevented and needs not to be red…
a714f86e
fixed bug where indent is set externally
fa6fd569
Login to write a write a comment.
Login via GitHub