On 09.09.2015 07:09, patspiper wrote:
What OS do you use? Thanks for the backtrace. It looks feasible.
Ubuntu 11.04
When changing desktops from the drop-down menu of the button, the
button itself is recreated (destroyed and created again). A simple
help is to detach the action from the event. E.g. with a timer.
Although I cannot reproduce it, please check the patch attached if it
helps.
The patch works indeed. I haven't inspected the dektop manager code,
but QueueAsync call may be more suited for the task than a timer.
Stephano
Yes, that's true. It should be rewritten. But the important thing is
that now we know this workaround works. The workaround was a wild guess
from me.
Ondrej
--
_______________________________________________
Lazarus mailing list
[email protected]
http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
