History Search Example #22
Closed
mdgrs-mei
started this conversation in
Show and tell
Replies: 2 comments
-
An improved version has been added to #37. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
An example that replaces the
Ctrl+r
history search with fuzzy search.Enter
to run the command andShift+Enter
to insert the commandCtrl+r
are used as an initial queryDelete from History
with an action key when deleting an entry is supported one dayBeta Was this translation helpful? Give feedback.
All reactions