[MonoDevelop] Monodevelop crash

[Vincent Arnoux]

Hello,
I have run Monodevelop from mono-1.1.8.1-installer.bin since the 
beginning of the afternoon and now that I want to restart it, it crashes.
First it comes up normally. Then I go to File->Open and I select the 
.cmbx. It loads the solution, excepted that files that were previously 
open don't open anymore.
If I right-click on the solution pad, or try to go into file menu again, 
it crashes with the following message:
node `monohb' is not defined on the documentation map

(MonoDevelop:15054): GtkSourceView-CRITICAL **: file gtksourcebuffer.c: 
line 681 (gtk_source_buffer_new_with_language): assertion 
`GTK_IS_SOURCE_LANGUAGE (language)' failed

(MonoDevelop:15054): GtkSourceView-CRITICAL **: file gtksourcebuffer.c: 
line 1470 (gtk_source_buffer_set_highlight): assertion 
`GTK_IS_SOURCE_BUFFER (buffer)' failed
node `monohb' is not defined on the documentation map

Unhandled Exception: System.NullReferenceException: Object reference not 
set to an instance of an object
in <0x00169> MonoDevelop.Commands.CommandMenu:OnShown ()
in <0x0003e> Gtk.Widget:shown_cb (IntPtr widget)
in (wrapper native-to-managed) Gtk.Widget:shown_cb (intptr)
in <0x00000> <unknown method>
in (wrapper managed-to-native) Gtk.Application:gtk_main ()
in <0x00007> Gtk.Application:Run ()
in <0x0048a> MonoDevelop.Commands.StartWorkbenchCommand:Run ()
in <0x00a7e> MonoDevelop.SharpDevelopMain:Main (System.String[] args)

Can this have to do with the fact that the solutions have been upgraded 
with this new Monodevelop version ?

Vincent