Gnome Do has a by default installed plugin which - when activated - offeres to search your computer. You can decide which directories to search and how deep.

However, you may not index too much since it would get slow then.
This is why it would be very beneficial to hide hidden files and hidden directories (e.g. in the home folder).

There is an option in the default plug-in, which should allow to hide/show hidden files. But it's not working.

Is this a bug? What can I do to fix it? A re-install did not help.

I'd like to stay with Gnome Do since I can browse directores with it.