diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2023-11-20 20:02:36 +0100 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2023-11-20 20:47:22 +0100 |
| commit | 1f11529837c69781179c7deea832f0b8b266305f (patch) | |
| tree | 64e5614f1d1907e7ee9859889b4f4946e921bdf3 /rc/tools/python | |
| parent | 4499b26ca4541b7c404db2de672506e89a0f9ce1 (diff) | |
rc tools menu: replace menu builtin with a prompt-based implementation
prompt has fuzzy filtering which is more discoverable than the menu
mode's regex filtering (because that one needs / to trigger it).
There are no important differences left, so replace the menu builtin
with a prompt-based command.
prompt does not support markup in the completion menu, so drop that
feature for now.
Diffstat (limited to 'rc/tools/python')
0 files changed, 0 insertions, 0 deletions