[Gretl-users] Re: how to use word-completion with keyboard shortcut?

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&gt; >> 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.