On Fri, 4 Dec 2020, Sven Schreiber wrote:
Am 04.12.2020 um 14:36 schrieb Allin Cottrell:
> On Fri, 4 Dec 2020, Sven Schreiber wrote:
>
>> Well yes, it could work better. (Remember also the other problem that
>> keyboard shortcuts to select among several proposals don't seem to
>> work.) But if you have a bunch of longer identifiers it's still useful
>> and avoids typos I'd say.
>
> OK, we'll not give up on it. Plus, I think -- though it's difficult to
> tell since the API is under-documened -- it should be possible to
> offer completion on hansl function-names (commands too, if wanted).
>
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.
Allin