Without commenting on your suggestions, I'll say this, I am not that big on menu based launchers. I used to use Gnome Do as my primary launch tool. Now I just

Without commenting on your suggestions, I'll say this, I am not that big on menu based launchers. I used to use Gnome Do as my primary launch tool. Now I just use a shortcut (Windows Key + Space Bar) for the 'Run' dialog (usually found by Alt + F2) and I know the first few chars of my favorite tools after which they autocomplete. For everyday use, it's hard to beat the speed and simplicity of that.