[Gretl-devel] Re: external editors (gtksourceview)
Am 16.01.2020 um 12:32 schrieb Sven Schreiber:
My thought about Gedit etc. was that the ingredients might already
exist. I will test.
Well it didn't work so easily, probably because I made a mistake
somewhere. On a Linux Mint system (running with GTK3 I believe) I took
the existing gretl.lang file and copied it into
/usr/share/gtksourceview-3.0/language-definitions (hope I got that dir
path right here). Then I logged out and in again. Gedit then offers a
"gretl" entry among the recognized programming languages, but no syntax
highlighting is done. Too bad.
cheers
sven