Sorry @pianopaul,
It happened three times in a row last night, but I can’t reproduce it today.
Incidentally, maybe my choice of words was wrong: I meant that the coordinates of my widgets changed, not their initial values. It was a group of 3 LEDs, programmed to operate as radio buttons. The picture is shown in this post. They were to the right and a little higher at startup.