Ok, I understand everything except the part about "switching to another GUI toolkit". How do I do that? -- View this message in context: http://mono.1490590.n4.nabble.com/Problem-with-GTK-2-12-10-for-Win-32-for-MonoDevelop-tp4238530p4240884.html Sent from the Mono - Gtk# mailing list archive at Nabble.com.