This repository has been archived by the owner on May 19, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 93
GitHub's new search bar quick jump #82
Labels
Comments
Yes :/ we will need to do an update to take that feature into account. |
Why is this closed? It is still an issue and is unrelated to stylish themes. |
This isn’t closed, still an open issue |
Just wanted to note that this is still a problem; it makes this extension basically unusable because GitHub defaults to using the value in its own searchbar instead of the one in this extension. Workaround for now is to just use the mouse to select the option brought up in the search, like an animal (/s) |
Thanks for pushing @macintacos , I'll check internally who could have some time to work on the extension. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
GitHub just rolled-out a new feature for its search bar:
Which leads to interferences with this extension:
The text was updated successfully, but these errors were encountered: