Hides window, then reshows it, resetting the default size and position of the window. Used by GUI builders only.
Deprecated: GUI builders can call Widget.hide, Widget.unrealize and then Widget.show on window themselves, if they still need this functionality.
Hides window, then reshows it, resetting the default size and position of the window. Used by GUI builders only.