gnome-tweak-tool
gnome-tweak-tool
Posted Nov 10, 2012 1:03 UTC (Sat) by dgm (subscriber, #49227)In reply to: gnome-tweak-tool by mchehab
Parent article: GNOME 3.8 to drop fallback mode
> To be fair, there is only one Gnome 3 feature I found useful: the application "search" bar, with is very nice to find some not-so-used tool
I can suggest Gnome-Do or Launchy. Both excellent tools that will get you the same feature.