In Flexible Windows, is it acceptable to set, e.g., the window position at or after the start of play? (Inform 7)

Question

With the extension Flexible Windows by Jon Ingold, is it okay to set attributes of the window at the start of play, or even after the start of play, as long as they are set before the window is opened for the first time? Documentation of the original extension seemed to say that changing some things during play could cause bugs (with restoring, for instance) so I wasn't sure what the boundaries are.

Answer 1

Yep that's fine.

When you restore a game, it checks that every window which should be open is open and all others are closed, but it doesn't check to see whether the windows were opened with the same properties. This is probably such a minor use case that it wouldn't be worth adding to the extension. If it mattered you could write your own glulx object-updating rule to check the existing properties with glk_window_get_arrangement() and then close and reopen any that need updating.