I've been a big fan of gnome-do with the docky theme, but it seems quite clear that the app itself is dead. On the other hand, docky is looking really slick! Recently, my gnome-do config got messed up, and I've been debating making the switch to docky.
The only thing holding me back from switching to docky is, does docky support gnome-do's search functionality?
Simple question, hopefully with a simple answer. Thanks!