[Java-gnome-developer] java-gnome GtkSourceView

[Jonathon L. <j...@co...>]

>
> Which library contains this widget?  I could not find
> it in gtk+.
>

sorry, it's not actually in any library, it's a standalone thing. (though
maybe it should be included in gtk+)

gtksourceview.sf.net

From what I can gather, it's being used more and more. In gEdit, and
ithink SharpDevelop uses it (or will use it) too.

may fall outside java-gnome's scope.

J.