shrink_topwindow: add (force gtk to recompute size of topwindow, when some child widgets got destroyed or shrinked)

1 files changed, 4 insertions, 0 deletions

diff --git a/perl-install/ugtk2.pm b/perl-install/ugtk2.pm
index 09ebdf566..b6e638611 100644
--- a/perl-install/ugtk2.pm
+++ b/perl-install/ugtk2.pm
@@ -989,6 +989,10 @@ sub sync {
     flush();
 }
 sub flush() { gtkflush() }
+sub shrink_topwindow {
+    my ($o) = @_;
+    $o->{rwindow}->signal_emit('size_allocate', Gtk2::Allocation->new(-1, -1, -1, -1));
+}
 sub exit {
     gtkset_mousecursor_normal(); #- for restoring a normal in any case
     flush();