[Gretl-devel] gtksourceview and gretl

The gretl CVS tree currently contains a "lite" version of gtksourceview 1.8.5 (in gui2/gtksourceview). I included this partly so that one could build gretl for Windows and OS X without relying on an installed version of gtksourceview. In addition, when we first introduced syntax highlighting in gretl gtksourceview was still fairly new, and might not have been available for all Linux distros. But now time has moved on: I've successfully built full gtksourceview-2.0 libraries for Windows and OS X, and it's quite standard in Linux distros. I'm therefore thinking of (a) removing the "bundled" gtksourceview from gretl CVS, and (b) specifying gtksourceview-2.0 as a gretl dependency. As regards point (b), right now our syntax highlighting code supports both gtksourceview-1.0 and gtksourceview-2.0, but I don't see much point in continuing to support the old version. Version 2.0 has been available since 2007, and is required to support printing with highlighting. Does anyone have any objection to this? Allin