Hi,
I'm wondering: wouldn't it be easy to get gretl syntax highlighting also
in other GTK-related text editors, like Gedit? Since gretl uses the
gtksourceview library/standard, could it even be as simple as to re-use
the file gui/gretl.lang?
If yes, would it be an idea to submit this definition file upstream to
the GTK/Gnome people?
thanks
sven