We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In the search perspective, do not start the search if no search term is provided. This can be very time-consuming in a large project.
Priority: 3
Component: Hop Gui
The text was updated successfully, but these errors were encountered:
Do not start the search if no search term is provided. apache#4721
1080a92
Merge pull request #4729 from nadment/4721
d11e081
Do not start the search if no search term is provided. #4721
nadment
Successfully merging a pull request may close this issue.
What needs to happen?
In the search perspective, do not start the search if no search term is provided.
This can be very time-consuming in a large project.
Issue Priority
Priority: 3
Issue Component
Component: Hop Gui
The text was updated successfully, but these errors were encountered: