Ok, let's close this then as no response was added for > 1 month. ** Changed in: monodevelop (Ubuntu) Status: Needs Info => Rejected -- Monodevelop crashes when changing gnome themes https://launchpad.net/bugs/35402