micro/runtime/plugins
Zachary Yedidia 806525c3da Improve comment plugin
When commenting a selection, the plugin won't just toggle each
line individually but will only uncomment the block if it is all
comments.

The comment plugin also now takes into account any number of spaces
between the comment character and the text. For example '//comment' will
be uncommented properly, as well as '//      comment'.

Fixes #1758
2020-07-05 15:48:49 -04:00
..
autoclose Expose CharacterCount to plugins 2020-05-20 18:04:00 -04:00
comment Improve comment plugin 2020-07-05 15:48:49 -04: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 Update hlint to 3.0 syntax (#1659) 2020-05-16 13:06:55 -04: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