search

klorenz / gnome-shell-window-search-provider

Gnome Shell Extension for 3.16+, (maybe lower) to search for current windows using fuzzy search or regex
MIT License
22 stars 2 forks source link

Does this extension still work? #7

Closed jbhoot closed 7 years ago

jbhoot commented 7 years ago

System: Fedora 25, GNOME 3.22

I tried both methods - installation through Firefox (in fact, I tried GNOME Web and Chrome as well to cover all grounds), as well as through command line (from the repo).

In the former, I wait for a minute or two after turning on the extension, then check the GNOME Tweak Tool. But the extension isn't listed there.

In the latter, I do get the message 'window-search-provider' is now enabled, but again, the extension isn't listed.

Guessing that the extension works in the background (or something), I tried the search, but didn't get the results.

Am I missing something?

jbhoot commented 7 years ago

Ok. I rebooted the system and then the extension appeared in the list. To be explicit, this was the reboot (or user session reboot) which did the trick. I had already restarted the Tweak Tool to be sure.

If rebooting user session is required, then it needs to be mentioned in the installation instructions.