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

Add stackundo option

Browse Source
This commit is contained in:
Camille Scholtz
2016-05-26 19:36:59 +02:00
parent e553815501
commit 007ece1e78
3 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/help.md
View File

@@ -211,6 +211,10 @@ Here are the options that you can set:
default value: `on`
* `stackundo`: reset undothreshold timer to zero if an action is taken before the timer runs out
default value: `off`
* `scrollmargin`: amount of lines you would like to see above and below the cursor
default value: `3`