Am 04.12.2020 um 10:35 schrieb Sven Schreiber:
Well yes, it could work better. (Remember also the other problem that
keyboard shortcuts to select among several proposals don't seem to
work.)
BTW, some news on that: On Ubuntu (Gtk 3 I think) I can use gedit with
these keyboard shortcuts: one has to do Alt+<number>. (After installing
the word completion plugin.)
In gretl on Ubuntu the same thing doesn't work - is the Alt-key somehow
intercepted there?
thanks
sven