int  widget = paintHandle (); rect.width = OS.GTK_WIDGET_WIDTH (widget); rect.height = OS.GTK_WIDGET_HEIGHT (widget);
int [] w = new int [1], h = new int [1]; OS.gdk_drawable_get_size (window, w, h); rect.width = w [0]; rect.height = h [0];
void redrawWidget (int x, int y, int width, int height, boolean redrawAll, boolean all, boolean trim) {	if ((OS.GTK_WIDGET_FLAGS (handle) & OS.GTK_REALIZED) == 0) return;	int /*long*/ window = paintWindow ();	GdkRectangle rect = new GdkRectangle ();	if (redrawAll) {		int /*long*/ widget = paintHandle ();		rect.width = OS.GTK_WIDGET_WIDTH (widget);		rect.height = OS.GTK_WIDGET_HEIGHT (widget);	} else {		rect.x = x;		rect.y = y;		rect.width = width;		rect.height = height;	}	OS.gdk_window_invalidate_rect (window, rect, all);}