if (labelHandle != 0) { int labelWidth = OS.GTK_WIDGET_WIDTH (labelHandle); int labelHeight = OS.GTK_WIDGET_HEIGHT (labelHandle); OS.gtk_widget_set_size_request (labelHandle, labelWidth, labelHeight); }
void resizeHandle (int width, int height) {	/*	* Bug in GTK.  For some reason, when the label is	* wrappable and its container is resized, it does not	* cause the label to be wrapped.  The fix is to	* determine the size that will wrap the label	* and expilictly set that size to force the label	* to wrap.	* 	* This part of the fix causes the label to be	* resized to the preferred size but it still	* won't draw properly.	*/	if (labelHandle != 0) OS.gtk_widget_set_size_request (labelHandle, -1, -1);	if (frameHandle != 0) OS.gtk_widget_set_size_request (frameHandle, width, height);	super.resizeHandle (width, height);		/*	* Bug in GTK.  For some reason, when the label is	* wrappable and its container is resized, it does not	* cause the label to be wrapped.  The fix is to	* determine the size that will wrap the label	* and expilictly set that size to force the label	* to wrap.	* 	* This part of the fix forces the label to be	* resized so that it will draw wrapped.	*/	if (labelHandle != 0) {		int labelWidth = OS.GTK_WIDGET_WIDTH (labelHandle);		int labelHeight = OS.GTK_WIDGET_HEIGHT (labelHandle);		OS.gtk_widget_set_size_request (labelHandle, labelWidth, labelHeight);	}}