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 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
