Re: switch mouse to busy symbol

[Edwin Leuven]

Vincent van Ravesteijn <v...@lyx.org> wrote:
> I committed what works for me. I had it in my tree anyway.

i suspected something like that, thanks

ed.