@Override Rectangle computeTrim(Theme theme, GC gc) { int /*long*/ notebookHandle = theme.notebookHandle; int /*long*/ gtkStyle = gtk_widget_get_style(notebookHandle); int hborder = theme.getWidgetProperty(notebookHandle, "tab-hborder"); int vborder = theme.getWidgetProperty(notebookHandle, "tab-vborder"); int focus_width = theme.getWidgetProperty(notebookHandle, "focus-line-width"); int xthickness = OS.gtk_style_get_xthickness(gtkStyle); int ythickness = OS.gtk_style_get_ythickness(gtkStyle); int borderX = xthickness + TAB_CURVATURE + focus_width + hborder; int borderY = ythickness + TAB_CURVATURE + focus_width + vborder; int x = clientArea.x - borderX; int y = clientArea.y - borderY; int width = clientArea.width + 2 * borderX; int height = clientArea.height + 2 * borderY; return new Rectangle(x, y, width, height); }
@Override Rectangle computeTrim(Theme theme, GC gc) { int /*long*/ notebookHandle = theme.notebookHandle; int /*long*/ gtkStyle = gtk_widget_get_style(notebookHandle); int hborder = theme.getWidgetProperty(notebookHandle, "tab-hborder"); int vborder = theme.getWidgetProperty(notebookHandle, "tab-vborder"); int focus_width = theme.getWidgetProperty(notebookHandle, "focus-line-width"); int xthickness = OS.gtk_style_get_xthickness(gtkStyle); int ythickness = OS.gtk_style_get_ythickness(gtkStyle); int borderX = xthickness + TAB_CURVATURE + focus_width + hborder; int borderY = ythickness + TAB_CURVATURE + focus_width + vborder; int x = clientArea.x - borderX; int y = clientArea.y - borderY; int width = clientArea.width + 2 * borderX; int height = clientArea.height + 2 * borderY; return new Rectangle(x, y, width, height); }
@Override Rectangle computeTrim(Theme theme, GC gc) { long /*int*/ notebookHandle = theme.notebookHandle; long /*int*/ gtkStyle = gtk_widget_get_style(notebookHandle); int hborder = theme.getWidgetProperty(notebookHandle, "tab-hborder"); int vborder = theme.getWidgetProperty(notebookHandle, "tab-vborder"); int focus_width = theme.getWidgetProperty(notebookHandle, "focus-line-width"); int xthickness = OS.gtk_style_get_xthickness(gtkStyle); int ythickness = OS.gtk_style_get_ythickness(gtkStyle); int borderX = xthickness + TAB_CURVATURE + focus_width + hborder; int borderY = ythickness + TAB_CURVATURE + focus_width + vborder; int x = clientArea.x - borderX; int y = clientArea.y - borderY; int width = clientArea.width + 2 * borderX; int height = clientArea.height + 2 * borderY; return new Rectangle(x, y, width, height); }
@Override void draw(Theme theme, GC gc, Rectangle bounds) { int /*long*/ notebookHandle = theme.notebookHandle; int /*long*/ gtkStyle = gtk_widget_get_style (notebookHandle); int /*long*/ drawable = OS.GTK3 ? gc.getGCData().cairo : gc.getGCData().drawable; theme.transferClipping(gc, gtkStyle);
@Override void draw(Theme theme, GC gc, Rectangle bounds) { int /*long*/ notebookHandle = theme.notebookHandle; int /*long*/ gtkStyle = gtk_widget_get_style (notebookHandle); int /*long*/ drawable = OS.GTK3 ? gc.getGCData().cairo : gc.getGCData().drawable; theme.transferClipping(gc, gtkStyle);
@Override void draw(Theme theme, GC gc, Rectangle bounds) { long /*int*/ notebookHandle = theme.notebookHandle; long /*int*/ gtkStyle = gtk_widget_get_style (notebookHandle); long /*int*/ drawable = OS.GTK3 ? gc.getGCData().cairo : gc.getGCData().drawable; theme.transferClipping(gc, gtkStyle);