You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Sep 30, 2024. It is now read-only.
I regularly hit this issue where I type repo:sourc, C-n to select github.com/sourcegraph/sourcegraph, Enter to accept the completion, then Enter to run the search. However, rather than submitting the search, sometimes the second Enter inserts a lang: filter instead.
CleanShot.2023-10-23.at.16.30.52.mp4
Sometimes, after accepting the completion with Enter, lang: is selected and sometimes it is not (see two screenshots below). I have not been able to establish a pattern of why it is sometimes selected.
I regularly hit this issue where I type
repo:sourc, C-n to selectgithub.com/sourcegraph/sourcegraph, Enter to accept the completion, then Enter to run the search. However, rather than submitting the search, sometimes the second Enter inserts alang:filter instead.CleanShot.2023-10-23.at.16.30.52.mp4
Sometimes, after accepting the completion with Enter,
lang:is selected and sometimes it is not (see two screenshots below). I have not been able to establish a pattern of why it is sometimes selected.