[Gretl-devel] Re: external editors (gtksourceview)
On Sun, 19 Jan 2020, Sven Schreiber wrote:
Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
> On Sat, 18 Jan 2020, Sven Schreiber wrote:
> Meanwhile I've modified mklang.c in two ways:
>
> * While the gretl file is still called gretl.lang and its "id" is still
> "gretl", its "name" (inside the file, which appears in the
gedit
> language listing) is now "hansl".
>
> * There's an option, "--gtksv", which skips the Stata and Ox foreign
> support.
Do you want me to get in touch with the people from gtksourceview to get
the file "adopted"? (Maybe they could also comment on the naming policy,
gretl and/or hansl.)
Yes, thanks, that's a good idea.
I also found that the full version of gretl.lang works with gedit if
one installs gui/stata.lang (from the gretl source tree) into the
relevant language-specs directory -- though that's probably not
something we'd want to ask gtksourceview to do.
Allin