diff options
author | Kevin McCarthy <kevin@8t8.us> | 2018-02-03 18:08:28 -0800 |
---|---|---|
committer | Kevin McCarthy <kevin@8t8.us> | 2018-02-03 18:08:28 -0800 |
commit | aa6903c9924127ade0219204067e3be518b7e640 (patch) | |
tree | a7ccfcb4ac69fc60b53e59563cc89c1b14683698 /OPS | |
parent | d5544ef6fa559f5df01987d18c494f8dc8376890 (diff) |
Add history-search function, bound to ctrl-r.
Create a very basic "search history" functionality in the line editor.
It uses the current input, and searches backward through history. If
there is one match, it immediately uses that otherwise it pops up a
simple menu of matches.
Diffstat (limited to 'OPS')
-rw-r--r-- | OPS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -72,6 +72,7 @@ OP_EDITOR_FORWARD_CHAR "move the cursor one character to the right" OP_EDITOR_FORWARD_WORD "move the cursor to the end of the word" OP_EDITOR_HISTORY_DOWN "scroll down through the history list" OP_EDITOR_HISTORY_UP "scroll up through the history list" +OP_EDITOR_HISTORY_SEARCH "search through the history list" OP_EDITOR_KILL_EOL "delete chars from cursor to end of line" OP_EDITOR_KILL_EOW "delete chars from the cursor to the end of the word" OP_EDITOR_KILL_LINE "delete all chars on the line" |