int  style = OS.gtk_widget_get_modifier_style (handle); OS.gtk_widget_modify_style (handle, style);
setWidgetBackground ();
public void setBackgroundImage (Image image) {	checkWidget ();	if (image != null && image.isDisposed ()) SWT.error(SWT.ERROR_INVALID_ARGUMENT);	if (image == backgroundImage) return;	this.backgroundImage = image;	if (backgroundImage != null) {		int /*long*/ window = OS.GTK_WIDGET_WINDOW (paintHandle ());		if (window != 0) {			OS.gdk_window_set_back_pixmap (window, backgroundImage.pixmap, false);		}		redrawWidget (0, 0, 0, 0, true, false, false);	} else {		int /*long*/ style = OS.gtk_widget_get_modifier_style (handle);		OS.gtk_widget_modify_style (handle, style);	}	redrawChildren ();}