github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-29 14:22:42 +09:00
Code Issues Packages Projects Releases Wiki Activity

Make default plugin options more explicit

Browse Source 
Ref #1305
This commit is contained in:
Zachary Yedidia
2020-02-12 15:34:13 -05:00
parent 7c71995aaf
commit a7ce85d6f6
2 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
runtime/help/plugins.md
View File

@@ -391,6 +391,9 @@ There are 6 default plugins that come pre-installed with micro. These are
programming tool.
* `status`: provides some extensions to the status line (integration with
Git and more).
* `diff`: integrates the `diffgutter` option with Git. If you are in a Git
directory, the diff gutter will show changes with respect to the most
recent Git commit rather than the diff since opening the file.
See `> help linter`, `> help comment`, and `> help status` for additional
documentation specific to those plugins.