On 09/09/15 01:20, Ondrej Pokorny wrote:
On 08.09.2015 23:46, Juha Manninen wrote:
Let me guess. It happens only when changing desktop from the CoolBar
button's menu. It does not happen when doing it from Tools ->
Desktops dialog.
Juha
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
--
_______________________________________________
Lazarus mailing list
[email protected]
http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
