Le 17 sept. 08 à 08:42, Patrick a écrit :
Aaah so that's what it's for :P What shall we rename it as then? Post your ideas and I'll change it for the next release (I'll also try and add a 'no extra plugins installed' menu item as well if you don't have those plugins installed)
Make it doesn't show a menu if there's nothing to show. It creates useless UI clutter if there's nothing in it ;-).
