Comment 3 for bug 342955

Hi Paul. I personally like your idea quite a lot, but have a talk with Bertrand first, since he's our GUI supervisor, to make sure this is the way gtg is intended to go.

A note on removing the "plugins" menu: several plugins need that because they append their entries to that menu, so you might think about how to provide the same functionality without the menu.