micro/runtime/plugins
Justin Su b8772b69c2
Use // comments for .json (#3388)
Add comments to `.json` files using `//` instead of the default `#`.

Even though JSON does not support comments, JSON5 and JSONC exist, so `//` is a much more sane default. It also improves the experience of editing micro's own config files.
2024-07-30 22:58:07 +02:00
..
autoclose hltrailingws: adjust autoclose plugin implementation 2024-03-14 03:10:33 +01:00
comment Use // comments for .json (#3388) 2024-07-30 22:58:07 +02:00
diff Don't block when redraw channel becomes full 2020-02-11 20:03:32 -05:00
ftoptions Add plugin manager 2020-02-01 23:54:38 -05:00
linter Fix linter help formatting (#2280) 2021-11-17 12:59:16 -08:00
literate Add plugin manager 2020-02-01 23:54:38 -05:00
status Add more functions to customize status bar 2020-06-24 17:19:42 -04:00