]> git.lizzy.rs Git - micro.git/commitdiff
Rename to incsearch
authorZachary Yedidia <zyedidia@gmail.com>
Wed, 27 Jan 2021 18:49:38 +0000 (13:49 -0500)
committerZachary Yedidia <zyedidia@gmail.com>
Wed, 27 Jan 2021 18:49:38 +0000 (13:49 -0500)
internal/action/actions.go
internal/config/settings.go
runtime/help/options.md

index 5e2b6215a4b185f01e307be4ef459550398642a0..1640ff075c32296fa49a99a39412ca20ebf26b90 100644 (file)
@@ -848,7 +848,7 @@ func (h *BufPane) find(useRegex bool) bool {
                prompt = "Find (regex): "
        }
        var eventCallback func(resp string)
-       if h.Buf.Settings["findontype"].(bool) {
+       if h.Buf.Settings["incsearch"].(bool) {
                eventCallback = func(resp string) {
                        match, found, _ := h.Buf.FindNext(resp, h.Buf.Start(), h.Buf.End(), h.searchOrig, true, useRegex)
                        if found {
index aa4f1d4c486502bc3ff3137e29dca5140ce76dab..966abb15f7ec89b59fe3aa004d62f1690257ba79 100644 (file)
@@ -269,7 +269,7 @@ var defaultCommonSettings = map[string]interface{}{
        "fastdirty":      false,
        "fileformat":     "unix",
        "filetype":       "unknown",
-       "findontype":     true,
+       "incsearch":     true,
        "ignorecase":     true,
        "indentchar":     " ",
        "keepautoindent": false,
index c2c3f8533d46002e20389711f6118ae5cfb279e5..3805de7ffdc18d368177e249888427bb6021a89f 100644 (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": " ",