[Gretl-devel] Re: annoying buggy behavior of editor's auto-completion
Am 04.12.2020 um 16:22 schrieb Allin Cottrell:
On Fri, 4 Dec 2020, Sven Schreiber wrote:
> A related gtksourceview language spec thing: In a thread called
> "external editors (gtksourceview)" in January we said it would be good
> to put gretl.lang into the system-wide shared gtksourceview dir on
> Linux. (That would be /usr/share/gtksourceview-3.0/language-specs and
> /usr/share/gtksourceview-4/language-specs from what I'm seeing here on
> Ubuntu 20.04.) But apparently that never happened, at least I don't see
> the file there (again, on Ubuntu). Should I open a ticket for that?
Hmm, not sure about that. A standard gretl "make install" probably
shouldn't be writing files into "someone else's" share directory. That
could be a problem for packagers. But maybe there should be some
option to do so.
Well, when I asked the gtksourceview people (back in January) if they
could distribute our .lang file, they said they'd rather not do that,
but that instead that share directory is the official place for
additional contributed language-spec files at installation time. Because
that's where apps like gedit which are using gtksourceview would look
automatically. And indeed we got gretl/hansl syntax highlighting in
gedit like that.
If you want, I can dig up the quotes again.
cheers
sven