reshow_with_initial_size
Description:
public void reshow_with_initial_size ()
Hides this, then reshows it, resetting the default size and position of the window.
Note:
GUI builders can call hide,
unrealize and then show on this themselves,
if they still need this functionality.
Used by GUI builders only.
Parameters: