github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-23 01:07:16 +09:00
Code Issues Packages Projects Releases Wiki Activity

Some documentation updates

Browse Source
This commit is contained in:
Zachary Yedidia
2020-01-02 15:10:28 -05:00
parent eb2b546600
commit 50ff45c213
5 changed files with 113 additions and 72 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/help/tutorial.md
View File

@@ -16,7 +16,7 @@ the settings and their values. To change an option, you can either change the
value in the `settings.json` file, or you can type it in directly while using
micro.
Simply press CtrlE to go to command mode, and type `set option value` (in the
Press CtrlE to go to command mode, and type `set option value` (in the
future, I will use `> set option value` to indicate pressing CtrlE). The change
will take effect immediately and will also be saved to the `settings.json` file
so that the setting will stick even after you close micro.