On Mon, 1 Jun 2020, Sven Schreiber wrote:
Am 31.05.2020 um 22:25 schrieb Cottrell, Allin:
> On Tue, May 26, 2020 at 9:24 AM Sven Schreiber <svetosch(a)gmx.net> wrote:
>> in gretl's script editor on Windows I have word completion suggestions
>> enabled. See the attached screenshot for an example which gives me 4
>> choices. Notice the little numbers on the right - how do I use them to
>> directly choose the corresponding suggestion? I've tried typing the
>> numbers or using combinations with shift or control without success.
> On Linux I'm able to select one of the suggestions with a double-click.
Well yes, but the question is how to make use of the little numbers that
are also shown next to the proposals. Actually, the following page seems
to suggest that Alt + <number> should do the job:
https://developer.gnome.org/gtksourceview/stable/GtkSourceCompletion.html...
Unfortunately, typing Alt+1 or Alt+2 for me here on Windows does nothing.
Doesn't work for me on Linux either. But up/down arrow and Enter
does.
Allin