Skip to content

Conversation

@davep
Copy link
Owner

@davep davep commented Apr 5, 2025

Adds SearchHistory as an application command; using the Textual command palette to quickly search history. Bound to shift+F3 by default.

@davep davep added the Enhancement New feature or request label Apr 5, 2025
@davep davep self-assigned this Apr 5, 2025
@davep davep changed the title WiP: Add the ability to search the history from the palette Add the ability to search the history from the palette Apr 6, 2025
@davep davep marked this pull request as ready for review April 6, 2025 14:04
@davep davep merged commit 5e43ea7 into main Apr 6, 2025
4 checks passed
@davep davep deleted the search-history branch April 6, 2025 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants