22 lines
984 B
Diff
22 lines
984 B
Diff
|
--- 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.
|