GitHub's new search bar quick jump

[Kerumen]

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

Which leads to interferences with this extension:

[rayrutjes]

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

[drewswaycool]

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

[Haroenv]

This isn’t closed, still an open issue

[macintacos]

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)

[rayrutjes]

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