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

Rename to incsearch

Browse Source
This commit is contained in:
Zachary Yedidia
2021-01-27 13:49:38 -05:00
parent 120cd02b30
commit c3a17a71be
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/options.md
View File

@@ -159,7 +159,7 @@ Here are the available options:
default value: `unknown`. This will be automatically overridden depending
on the file you open.
* `findontype`: enable search-on-type in "Find" prompt (pattern input)
* `incsearch`: enable incremental search in "Find" prompt (matching as you type).
default value: `true`
@@ -427,7 +427,7 @@ so that you can see what the formatting should look like.
"fastdirty": false,
"fileformat": "unix",
"filetype": "unknown",
"findontype": true,
"incsearch": true,
"ftoptions": true,
"ignorecase": false,
"indentchar": " ",