Window.reshowWithInitialSize

void reshowWithInitialSize()

Hides window, then reshows it, resetting the default size and position of the window. Used by GUI builders only.

Deprecated

GUI builders can call [gtk.widget.Widget.hide],

[gtk.widget.Widget.unrealize] and then [gtk.widget.Widget.show] on window themselves, if they still need this functionality.