Does this still happen on latest edgy with monodevelop 0.11-1ubuntu1? Does this also happen when switching from... say... clearlooks to crux theme? -- Monodevelop crashes when changing gnome themes https://launchpad.net/bugs/35402