github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-19 15:27:20 +09:00
Code Issues Packages Projects Releases Wiki Activity

Add savehistory option

Browse Source 
When savehistory is enabled, micro will save your command history across
sessions. This includes command-mode, shell-mode, open, jump-to-line...
Anything that uses up-arrow for history in the infobar.

This option is on by default.

Closes #874
This commit is contained in:
Zachary Yedidia
2017-10-21 15:31:04 -04:00
parent 19ee4b281e
commit 7b6430af1c
6 changed files with 61 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
runtime/help/options.md
View File

@@ -136,6 +136,11 @@ Here are the options that you can set:
default value: `off`
* `savehistory`: remember command history between closing and re-opening
micro.
default value: `on`
* `saveundo`: when this option is on, undo is saved even after you close a file
so if you close and reopen a file, you can keep undoing.