summaryrefslogtreecommitdiffstats
path: root/OPS
diff options
context:
space:
mode:
authorKevin McCarthy <kevin@8t8.us>2018-02-03 18:08:28 -0800
committerKevin McCarthy <kevin@8t8.us>2018-02-03 18:08:28 -0800
commitaa6903c9924127ade0219204067e3be518b7e640 (patch)
treea7ccfcb4ac69fc60b53e59563cc89c1b14683698 /OPS
parentd5544ef6fa559f5df01987d18c494f8dc8376890 (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--OPS1
1 files changed, 1 insertions, 0 deletions
diff --git a/OPS b/OPS
index cc1bc3bd..f53cd63a 100644
--- a/OPS
+++ b/OPS
@@ -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"