Ok, I have delimited the problem: in Ubuntu, when a window is moved, the desktop manager emits the size-changed signal (which should be emitted only when the desktop size has changed).
This is really odd.
I'll do some extra tests.
Ok, I have delimited the problem: in Ubuntu, when a window is moved, the desktop manager emits the size-changed signal (which should be emitted only when the desktop size has changed).
This is really odd.
I'll do some extra tests.