julia
d57de75f
- InteractiveUtils: define default editors during package load (#37839)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
InteractiveUtils: define default editors during package load (#37839) Previously if you defined a new editor before calling `edit` it prevented the default editors from being defined ever. This defines the default editors no matter what.
References
#37839 - InteractiveUtils: define default editors during package load
Author
StefanKarpinski
Parents
4422648a
Loading