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?
cheers
sven