OS.gtk_paint_focus (OS.gtk_widget_get_style(data.device.shellHandle), data.drawable, OS.GTK_STATE_NORMAL, null, 0, new byte[1], x, y, width, height);
int  style = OS.gtk_widget_get_style(data.device.shellHandle); OS.gtk_paint_focus(style, data.drawable, OS.GTK_STATE_NORMAL, null, 0, new byte[1], x, y, width, height);
public void drawFocus(int x, int y, int width, int height) {	if (handle == 0) SWT.error(SWT.ERROR_GRAPHIC_DISPOSED);	/*	* Do not use gtk_widget_get_default_style() here because	* gtk_paint_focus() uses GCs from the style, which are not	* valid in the default style.	*/	OS.gtk_paint_focus (OS.gtk_widget_get_style(data.device.shellHandle), data.drawable, OS.GTK_STATE_NORMAL, null, 0, new byte[1], x, y, width, height);}