[MonoDevelop] Licensing concerns.

[Miguel de Icaza]

Hello,

> I see one problem, though: you are using our core. Everything is built on 
> top of that. So... how can anyone write non-GPL code on top of the GPL-ed core?

There are many ways, for example, consider the new GUI widgetry being
done for MonoDevelop: written from scratch for use mostly with Gtk#.

The widgetry can be used independently of MonoDevelop, so its only when
shipped with MonoDevelop that it becomes GPL, but there should be no
reason why the Dock has to be GPL.

Miguel.