[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.