Closed zhaiyusci closed 2 years ago
Thanks. This introduces a new option and thus it should be documented. Also, the settings should be undone when the plugin is unloaded.
I'm not too sure about the name julia_recommended_style
for the variable name. It seems very general, while this is only for indentation. Maybe julia_set_indentation
?
Thanks!
According to style guide, set the indent for Julia as 4 spaces.