Il 03/02/2011 01:05, Pavel Sanda ha scritto:
Tommaso, as said going to menu works only with delay stroke like 500ms.
menu effects eats keys otherwise.
half a sec!! oh my!! eh eh, I would argue autotests has just found a bug
in your window manager :-)
Apart from jokes, that's an issue with whatever dialog. For example,
imagine I wanted to pop-up the preferences dialog for enabling run-time
spell-check, or instant preview or whatever else. In those cases I need
to reliably wait for the dialog to show up and direct the keys straight
to it, but it may take arbitrarily long to show up if you have a funny WM.
For dialogs, this can easily be solved by waiting for the new window to
show up before sending keys
(with the little problem that the dialog name is language dependent,
i.e., after a C-f: wmctrl -l
0x04c00070 0 mobiletom LyX: ~/newfile5.lyx
0x04c00477 0 mobiletom LyX: Trova e sostituisci
), however for menus the solution may be to wait for the widget to
appear and exploit the "-widget" option of xvkbd, slightly fixed for
cases in which the widget is not found.
T.
