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

Search panel #455

Closed
borekb opened this issue Jul 20, 2018 · 2 comments
Closed

Search panel #455

borekb opened this issue Jul 20, 2018 · 2 comments
Assignees
Labels
feature New feature or request

Comments

@borekb
Copy link

borekb commented Jul 20, 2018

I think the search could live in some panel, not just in the quick pick UI. The benefits would be:

  • Types of searches would have more space to be "documented". In the quick pick field, = is too far right and the hint is not visible.
  • If the search takes longer (can be 10-20 seconds in some of our repos), panel allows me to do some work in the meantime while quick pick simply goes away.
@eamodio eamodio added the feature New feature or request label Jul 21, 2018
@eamodio eamodio added this to the Soonish™ milestone Jul 21, 2018
@eamodio eamodio self-assigned this Jul 21, 2018
@eamodio
Copy link
Member

eamodio commented Jul 21, 2018

Great suggestion!

@eamodio eamodio modified the milestones: Soonish™, Soon™ Sep 30, 2018
@eamodio eamodio closed this as completed Dec 2, 2018
@eamodio eamodio removed this from the Soon™ milestone Jul 19, 2019
@github-actions
Copy link

github-actions bot commented Dec 2, 2020

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 2, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants