gtk_render_extension (gtkStyle, drawable, state_type, OS.GTK_SHADOW_OUT, null, notebookHandle, detail, x, y, width, height, gap_side); if (clientArea != null) { int hborder = theme.getWidgetProperty(notebookHandle, "tab-hborder");
gtk_render_extension (gtkStyle, drawable, state_type, OS.GTK_SHADOW_OUT, null, notebookHandle, detail, x, y, width, height, gap_side); if (clientArea != null) { int hborder = theme.getWidgetProperty(notebookHandle, "tab-hborder");
gtk_render_extension (gtkStyle, drawable, state_type, OS.GTK_SHADOW_OUT, null, notebookHandle, detail, x, y, width, height, gap_side); if (clientArea != null) { int hborder = theme.getWidgetProperty(notebookHandle, "tab-hborder");