if ((parent.style & SWT.VIRTUAL) != 0) { if (OS.GTK_VERSION >= OS.VERSION (2, 3, 2) && OS.GTK_VERSION < OS.VERSION (2, 6, 3)) { redraw (); } }
public void setFont (Font font){	checkWidget ();	if (font != null && font.isDisposed ()) {		SWT.error (SWT.ERROR_INVALID_ARGUMENT);	}	if (this.font == font) return;	if (this.font != null && this.font.equals (font)) return;	this.font = font;	int /*long*/ fontHandle = font != null ? font.handle : 0;	OS.gtk_list_store_set (parent.modelHandle, handle, Table.FONT_COLUMN, fontHandle, -1);	cached = true;}