Changed default theme from "none" to "Default"
Because:
does not interfere with using inbuilt gutter icons: "circle", "dot" and "bookmark"
lowers barrier for using new icons
// ProjectIcons
// Note that you may need to change the "icon" property in "styles"
// to an icon in the theme (they usually include "warning" and "error")
- "gutter_theme": "none",
+ "gutter_theme": "Default",
// EXPERIMENTAL: See below `demote_while_editing`.
"highlights.time_to_idle": 5,
