if (oldImage == image) OS.gtk_widget_queue_draw (pixmapHandle);
public void setImage (Image image) {	checkWidget ();	this.image = image;	if ((style & SWT.SEPARATOR) != 0) return;	OS.gtk_widget_hide (labelHandle);	if (image != null) {		OS.gtk_pixmap_set (pixmapHandle, image.pixmap, image.mask);		OS.gtk_widget_show (pixmapHandle);	} else {		Display display = getDisplay ();		OS.gtk_pixmap_set (pixmapHandle, display.nullPixmap, 0);		OS.gtk_widget_hide (pixmapHandle);	}}