GitHub's new search bar quick jump

[Yann Pringault]

GitHub just rolled-out a new feature for its search bar:

Which leads to interferences with this extension:

[Raymond Rutjes]

Yes :/ we will need to do an update to take that feature into account.

[Drew McMurry]

Why is this closed? It is still an issue and is unrelated to stylish themes.

[Haroen Viaene]

This isn’t closed, still an open issue

[Julian Torres]

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)

[Raymond Rutjes]

Thanks for pushing @macintacos , I'll check internally who could have some time to work on the extension.