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

Merge pull request #110 from onodera-punpun/indentchar

Browse Source 
Add indentation character option(s).
This commit is contained in:
Zachary Yedidia
2016-05-17 12:37:47 -04:00
parent 213bb6fabe 93927cf0f5
commit abddd6eecd
6 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/help.md
View File

@@ -178,6 +178,10 @@ Here are the options that you can set:
default value: `4`
* `indentchar`: sets the indentation character
default value: ` `
* `syntax`: turns syntax on or off
default value: `on`