[Gretl-devel] Re: external editors (gtksourceview)

Am 20.01.2020 um 14:19 schrieb Allin Cottrell: > 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. Well, they can decide that, too. So what's the official procedure to get the cleaned lang file, where do I have to append the --gtksv option, at the configure stage?