WindowPosition does not update miniwindow coordinates until after next repaint

(discovered because of the new movewindow position saving changes)

WindowPosition does not update miniwindow coordinates right away. So any references to WindowInfo(win, 10) or WindowInfo(win, 11) are incorrect thereafter until something like a repaint happens.

This of course means that moving and then saving the new position does not work.

The coordinates, some of them at least, depend on where the window is painted. For example, all of the "centering" operations, eg.



The actual coordinates are discovered when the window is painted.

This applies to absolute positioning as well? It seems a bit weird. I imagine miniwindows as being some virtual thing with a position that just gets drawn every once in a while.

The updating of those "info" fields is done in one place, if that is what you mean. And since some of them are dynamic (it depends which windows are active at the time of the redraw, the output window size etc.) it has to be done at paint time.



Not sure what you mean by that.

Ah, I mean...uhh...
Your house has a certain position even if you walk home with your eyes closed. :D
It is strange to me that the position should be determined by drawing, rather than the other way around.

Think of Schrödinger's cat.

The miniwindow doesn't have a known position until you "look" at it, that is, draw it.

Otherwise every time you resized the output window, or created or destroyed a miniwindow, or enabled or disabled its "show" flag, you would have to run around recomputing all of the positions for every miniwindow, in order to satisfy your requirement that the WindowInfo works "all the time".

But even then you have only moved the problem. Say you do a WindowInfo, get the window's (intended) position, and then the main output window is resized before it is drawn, your information is still out of date.

As long as you think it makes sense. Is this documented somewhere? I don't recall seeing this detail in WindowPosition help.

The documentation for WindowInfo (the function you are querying) says:

Aha, thanks.