--- eclipse.platform.swt/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java.bak 2013-01-28 12:16:08.000000000 +0100 +++ eclipse.platform.swt/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Control.java 2013-02-19 13:22:29.529926456 +0100 @@ -987,7 +987,17 @@ int setBounds (int x, int y, int width, int height, boolean move, boolean resize allocation.width = width; allocation.height = height; } - OS.gtk_widget_size_allocate (topHandle, allocation); + /* + * The widget needs to be shown before its size is allocated + * in GTK 3.8 otherwise its allocation return 0 + */ + if (OS.GTK_VERSION >= OS.VERSION (3, 8, 0) && !OS.gtk_widget_get_visible(handle)) { + OS.gtk_widget_show(handle); + OS.gtk_widget_size_allocate (topHandle, allocation); + OS.gtk_widget_hide(handle); + } else { + OS.gtk_widget_size_allocate (topHandle, allocation); + } } /* * Bug in GTK. Widgets cannot be sized smaller than 1x1.