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.

Sign up for GitHub

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

Jump to bottom

web: pressing CTRL+SPACE with smart search enabled doesn't show filter list #10441

Closed
ryan-blunden opened this issue May 6, 2020 · 0 comments · Fixed by #10647
Closed

web: pressing CTRL+SPACE with smart search enabled doesn't show filter list #10441

ryan-blunden opened this issue May 6, 2020 · 0 comments · Fixed by #10647
Assignees
@lguychard
Labels
bug An error, flaw or fault that produces an incorrect or unexpected result, or behavior.
Projects
Web Team :: Current iteration
Milestone
3.16

Comments

@ryan-blunden
Copy link
Contributor

  • Sourcegraph version: sourcegraph.com (62791_2020-05-06_9c3ecdc)
  • Platform information: macOS, Chrome 81.0.4044.129

Steps to reproduce:

  1. Ensure the experimental smart search field is enabled
  2. Put focus into the search field
  3. Press CTRL+SPACE
  4. Observe that the list of filters does not display.
@lguychard lguychard added this to To do in Web Team :: Current iteration via automation May 13, 2020
@lguychard lguychard added the bug An error, flaw or fault that produces an incorrect or unexpected result, or behavior. label May 13, 2020
@lguychard lguychard added this to the 3.16 milestone May 13, 2020
@lguychard lguychard mentioned this issue May 13, 2020
Closed
41 tasks
lguychard pushed a commit that referenced this issue May 13, 2020
Smart search: restore ctrl+space shortcut
f1aea6c 
Fixes #10441
@lguychard lguychard mentioned this issue May 13, 2020
Merged
Web Team :: Current iteration automation moved this from To do to Done May 13, 2020
lguychard pushed a commit that referenced this issue May 13, 2020
Smart search: restore ctrl+space shortcut (#10647)
47641c1 
Fixes #10441
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lguychard lguychard

Labels
bug An error, flaw or fault that produces an incorrect or unexpected result, or behavior.
Projects
No open projects
Web Team :: Current iteration
  
Done
Milestone
3.16
Development

Successfully merging a pull request may close this issue.

Smart search: restore ctrl+space shortcut sourcegraph/sourcegraph
2 participants
@ryan-blunden @lguychard