Delete an entry from Ctrl-R history

[lgarron]

#5791 and 049104e have made it a lot nicer to work from history.

I'd love to see this go one step further, by allowing a history entry to be deleted from the Ctrl-R history pager. For example, something similar to Chrome's autofill/omnibox dropdowns, where you can type Shift-Del to delete the currently selected dropdown item.

This would make it super practical to delete a recent item from history if you accidentally pasted a password, without having to clear any more than necessary:

• Ctrl-R
• Down key a few times
• Shift-Del

It would also bring the history page up to feature parity with the fish_config UI, which has exactly two clear features: search all items, and delete any single item.

fish 3.6.0
macOS Ventura 13.1

(previously suggested in #9089 (comment))

[krobelus]

sounds like a good idea, proposed implementation is in #9515
Can we make it more discoverable, maybe bind it to Delete? When used accidentally it deletes the command permanently but I don't think that's a huge loss.