[Gretl-devel] Re: external editors (gtksourceview)
On Thu, 16 Jan 2020, Sven Schreiber wrote:
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.
I gave that a quick go myself but didn't get as far as you! No
highlighting, and not even any "gretl" entry in the language listing.
This was with gedit 3.34.1. BTW the path is
/usr/share/gtksourceview-3.0/language-specs .
Allin