diff options
| author | Christophe Cornu <ccornu> | 2004-02-20 16:38:51 +0000 |
|---|---|---|
| committer | Christophe Cornu <ccornu> | 2004-02-20 16:38:51 +0000 |
| commit | c37d69950c4571a7d46ba98e7144e1301c0ad97d (patch) | |
| tree | c836d7bb53d67c3093dd79731432814748b8f092 /bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java | |
| parent | 40edfc3d9194baa1d5f12d58086e49d34531a1c2 (diff) | |
| download | eclipse.platform.swt-c37d69950c4571a7d46ba98e7144e1301c0ad97d.tar.gz eclipse.platform.swt-c37d69950c4571a7d46ba98e7144e1301c0ad97d.tar.xz eclipse.platform.swt-c37d69950c4571a7d46ba98e7144e1301c0ad97d.zip | |
37775 - 64 bit /*long*/ markup
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java')
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java index 764c929f38..c8ad03edc8 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/TabItem.java @@ -30,7 +30,7 @@ import org.eclipse.swt.graphics.*; * </p> */ public class TabItem extends Item { - int labelHandle, imageHandle, pageHandle; + int /*long*/ labelHandle, imageHandle, pageHandle; Control control; TabFolder parent; String toolTipText; @@ -168,7 +168,7 @@ public String getToolTipText () { return toolTipText; } -int gtk_mnemonic_activate (int widget, int arg1) { +int /*long*/ gtk_mnemonic_activate (int /*long*/ widget, int /*long*/ arg1) { return parent.gtk_mnemonic_activate (widget, arg1); } @@ -236,7 +236,7 @@ public void setControl (Control control) { if (oldControl != null) oldControl.setVisible (false); } -void setFontDescription (int font) { +void setFontDescription (int /*long*/ font) { OS.gtk_widget_modify_font (labelHandle, font); OS.gtk_widget_modify_font (imageHandle, font); } |