@Override void draw(Theme theme, GC gc, Rectangle bounds) { int /*long*/ frameHandle = theme.frameHandle; int /*long*/ gtkStyle = gtk_widget_get_style (frameHandle); int /*long*/ drawable = OS.GTK3 ? gc.getGCData().cairo : gc.getGCData().drawable; theme.transferClipping(gc, gtkStyle); int xthickness = OS.gtk_style_get_xthickness(gtkStyle); int ythickness = OS.gtk_style_get_ythickness(gtkStyle); int x = bounds.x, y = bounds.y + headerHeight / 2, width = bounds.width, height = bounds.height - headerHeight / 2; byte[] detail = Converter.wcsToMbcs(null, "frame", true); int gap_x = xthickness + GROUP_X, gap_width = headerWidth + GROUP_PAD * 2, gap_side = OS.GTK_POS_TOP; int state_type = getStateType(DrawData.WIDGET_WHOLE); gtk_render_shadow_gap (gtkStyle, drawable, state_type, OS.GTK_SHADOW_ETCHED_IN, null, frameHandle, detail, x, y, width, height, gap_side, gap_x, gap_width); if (headerArea != null) { headerArea.x = bounds.x + gap_x + GROUP_PAD; headerArea.y = bounds.y; headerArea.width = headerWidth; headerArea.height = headerHeight; } if (clientArea != null) { clientArea.x = bounds.x + xthickness; clientArea.y = bounds.y + ythickness + headerHeight; clientArea.width = bounds.width - 2 * xthickness; clientArea.height = bounds.height - 2 * ythickness - headerHeight; } }
@Override void draw(Theme theme, GC gc, Rectangle bounds) { long /*int*/ frameHandle = theme.frameHandle; long /*int*/ gtkStyle = gtk_widget_get_style (frameHandle); long /*int*/ drawable = OS.GTK3 ? gc.getGCData().cairo : gc.getGCData().drawable; theme.transferClipping(gc, gtkStyle); int xthickness = OS.gtk_style_get_xthickness(gtkStyle); int ythickness = OS.gtk_style_get_ythickness(gtkStyle); int x = bounds.x, y = bounds.y + headerHeight / 2, width = bounds.width, height = bounds.height - headerHeight / 2; byte[] detail = Converter.wcsToMbcs(null, "frame", true); int gap_x = xthickness + GROUP_X, gap_width = headerWidth + GROUP_PAD * 2, gap_side = OS.GTK_POS_TOP; int state_type = getStateType(DrawData.WIDGET_WHOLE); gtk_render_shadow_gap (gtkStyle, drawable, state_type, OS.GTK_SHADOW_ETCHED_IN, null, frameHandle, detail, x, y, width, height, gap_side, gap_x, gap_width); if (headerArea != null) { headerArea.x = bounds.x + gap_x + GROUP_PAD; headerArea.y = bounds.y; headerArea.width = headerWidth; headerArea.height = headerHeight; } if (clientArea != null) { clientArea.x = bounds.x + xthickness; clientArea.y = bounds.y + ythickness + headerHeight; clientArea.width = bounds.width - 2 * xthickness; clientArea.height = bounds.height - 2 * ythickness - headerHeight; } }
@Override void draw(Theme theme, GC gc, Rectangle bounds) { int /*long*/ frameHandle = theme.frameHandle; int /*long*/ gtkStyle = gtk_widget_get_style (frameHandle); int /*long*/ drawable = OS.GTK3 ? gc.getGCData().cairo : gc.getGCData().drawable; theme.transferClipping(gc, gtkStyle); int xthickness = OS.gtk_style_get_xthickness(gtkStyle); int ythickness = OS.gtk_style_get_ythickness(gtkStyle); int x = bounds.x, y = bounds.y + headerHeight / 2, width = bounds.width, height = bounds.height - headerHeight / 2; byte[] detail = Converter.wcsToMbcs(null, "frame", true); int gap_x = xthickness + GROUP_X, gap_width = headerWidth + GROUP_PAD * 2, gap_side = OS.GTK_POS_TOP; int state_type = getStateType(DrawData.WIDGET_WHOLE); gtk_render_shadow_gap (gtkStyle, drawable, state_type, OS.GTK_SHADOW_ETCHED_IN, null, frameHandle, detail, x, y, width, height, gap_side, gap_x, gap_width); if (headerArea != null) { headerArea.x = bounds.x + gap_x + GROUP_PAD; headerArea.y = bounds.y; headerArea.width = headerWidth; headerArea.height = headerHeight; } if (clientArea != null) { clientArea.x = bounds.x + xthickness; clientArea.y = bounds.y + ythickness + headerHeight; clientArea.width = bounds.width - 2 * xthickness; clientArea.height = bounds.height - 2 * ythickness - headerHeight; } }