
org.eclipse.swt.internal.theme.TabItemDrawData Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of org.eclipse.swt.gtk.hpux.ia64 Show documentation
Show all versions of org.eclipse.swt.gtk.hpux.ia64 Show documentation
SWT is an open source widget toolkit for Java designed to provide efficient, portable access to the user-interface facilities of the operating systems on which it is implemented.
The newest version!
/*******************************************************************************
* Copyright (c) 2000, 2012 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.swt.internal.theme;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.internal.*;
import org.eclipse.swt.internal.cairo.Cairo;
import org.eclipse.swt.internal.gtk.*;
public class TabItemDrawData extends DrawData {
public TabFolderDrawData parent;
public int position;
static final int TAB_CURVATURE = 1;
public TabItemDrawData() {
state = new int[1];
}
Rectangle computeTrim(Theme theme, GC gc) {
long /*int*/ notebookHandle = theme.notebookHandle;
long /*int*/ gtkStyle = OS.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);
}
void draw(Theme theme, GC gc, Rectangle bounds) {
long /*int*/ notebookHandle = theme.notebookHandle;
long /*int*/ gtkStyle = OS.gtk_widget_get_style (notebookHandle);
long /*int*/ drawable = gc.getGCData().drawable;
theme.transferClipping(gc, gtkStyle);
int x = bounds.x, y = bounds.y, width = bounds.width, height = bounds.height;
if ((state[DrawData.WIDGET_WHOLE] & DrawData.SELECTED) == 0) {
if ((parent.style & SWT.BOTTOM) == 0) {
y += TAB_CURVATURE;
}
height -= TAB_CURVATURE;
}
int gap_side = OS.GTK_POS_BOTTOM;
if ((parent.style & SWT.BOTTOM) != 0) {
gap_side = OS.GTK_POS_TOP;
}
int state_type = getStateType(DrawData.WIDGET_WHOLE);
byte[] detail = Converter.wcsToMbcs(null, "tab", true);
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");
int vborder = theme.getWidgetProperty(notebookHandle, "tab-vborder");
int focus_line_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_line_width + hborder;
int borderY = ythickness + TAB_CURVATURE + focus_line_width + vborder;
clientArea.x = bounds.x + borderX;
clientArea.y = bounds.y + borderY;
clientArea.width = bounds.width - 2 * borderX;
clientArea.height = bounds.height - 2 * borderY;
}
}
int getStateType(int part) {
int state = this.state[part];
int state_type = OS.GTK_STATE_ACTIVE;
if ((state & DrawData.SELECTED) != 0) state_type = OS.GTK_STATE_NORMAL;
return state_type;
}
int hit(Theme theme, Point position, Rectangle bounds) {
return bounds.contains(position) ? DrawData.WIDGET_WHOLE : DrawData.WIDGET_NOWHERE;
}
void gtk_render_extension(long /*int*/ style, long /*int*/ window, int state_type, int shadow_type, GdkRectangle area, long /*int*/ widget, byte[] detail, int x , int y, int width, int height, int gap_side) {
if (OS.GTK3) {
long /*int*/ cairo = OS.gdk_cairo_create (window);
long /*int*/ context = OS.gtk_widget_get_style_context (style);
OS.gtk_render_extension(context, cairo, x, y, width, height, gap_side);
Cairo.cairo_destroy (cairo);
} else {
OS.gtk_paint_extension (style, window, state_type, shadow_type, area, widget, detail, x, y, width, height, gap_side);
}
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy