Hi. I add a launcher to the menu panel and the whole gnome-panel crashes big time. Is this a known bug, and most importantly is there any fix for it? Thanks, Stefan -- If it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic. --Lewis Carroll, Through the Looking-Glass