Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support including Input Editor in search #746

Open
elviskahoro opened this issue Feb 13, 2022 · 0 comments
Open

Support including Input Editor in search #746

elviskahoro opened this issue Feb 13, 2022 · 0 comments
Labels
Feature requests Feature Requests

Comments

@elviskahoro
Copy link

Describe the solution you'd like?

It would be ideal if there was a button in the search bar that enables the user to include text in the input editor for search.
From higherkindedtype via Discord: https://discord.com/channels/851854972600451112/940318577825820732/940318579113459773

> Depending on preference/discussions, the search box may have a flag to include / exclude the editor to search
> Personally, I would have the editor searched when looking for something. But again, the general user preference is something to be brainstormed. Need the facility nonetheless.

Is your feature request related to a problem? Please describe.

No response

Additional context

No response

@warpdotdev-devx warpdotdev-devx bot added the Feature requests Feature Requests label Jan 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Feature requests Feature Requests
Projects
None yet
Development

No branches or pull requests

1 participant