From: Hugo Villeneuve <hugo@hugovil.com>
Date: Sat, 5 Oct 2013 16:42:51 +0000 (-0400)
Subject: Fix bug with children not resizing with main window
X-Git-Tag: v2.0.0~153
X-Git-Url: http://gitweb.hugovil.com/?a=commitdiff_plain;h=ba7ff1a7a78b3aa7c2cad9bfce117256638938b1;p=emu8051.git

Fix bug with children not resizing with main window
---

diff --git a/src/emugtk.c b/src/emugtk.c
index 224bc93..7742788 100644
--- a/src/emugtk.c
+++ b/src/emugtk.c
@@ -250,13 +250,20 @@ AddMenu(void)
 	return menu_bar;
 }
 
-static void
+static int
 mainwin_configure_event(GtkWindow *window, GdkEvent *event, gpointer data)
 {
 	//event->configure.x;
 	//event->configure.y;
 	cfg->win_width = event->configure.width;
 	cfg->win_height = event->configure.height;
+
+	/*
+	 * Important:
+	 * Returning false allows event to propagate to children. If not, they
+	 * will not be resized when we resize the main window.
+	 */
+	return FALSE;
 }
 
 static void