might be due to monodevelop then ** Changed in: gnome-panel (Ubuntu) Status: Needs Info => Unconfirmed -- Software package installed, but menu not updated until next X session https://launchpad.net/bugs/57956