> I was thinking about adding IDE integration to the wiki's topics, dose
> anyone have any preferences/options to add before I do? this seems like
> a better place for discussion than the wiki?
I'm interested in this as well for Builder (gnome-builder) and would be
happy to participate to the discussions. I won't be available before
Wednesday 17 though