Neko Box Coder
4db233acf4
Minor fix for comment plugin and migrating to use "comment.type" option ( #3424 )
...
Fixing comment plugin not using user settings when overriding default
setting,
Migrating comment plugin to use "comment.type" option instead
2025-06-24 22:30:26 +02:00
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
Dmytro Maluka
24406a5ae8
Comment plugin: doc: fix incorrect keybinding
2024-04-25 01:28:34 +02:00
Zachary Yedidia
891b117a33
Bind Ctrl-/ (CtrlUnderscore) in comment plugin
2020-06-18 17:18:34 -04:00
Hugo Locurcio
5bfc892a74
Add support for dozens more languages to the comment plugin ( #1729 )
2020-06-16 00:49:07 -04:00
Zachary Yedidia
106ba48079
Add some docs for linter, comment, status
2020-02-07 11:32:12 -05:00
