/******************************************************************************* * 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.widgets; import org.eclipse.swt.*; import org.eclipse.swt.internal.*; import org.eclipse.swt.internal.gtk.*; import org.eclipse.swt.graphics.*; import org.eclipse.swt.events.*; import org.eclipse.swt.internal.cairo.Cairo; /** * Instances of this class represent popup windows that are used * to inform or warn the user. *

*

*
Styles:
*
BALLOON, ICON_ERROR, ICON_INFORMATION, ICON_WARNING
*
Events:
*
Selection
*
*

* Note: Only one of the styles ICON_ERROR, ICON_INFORMATION, * and ICON_WARNING may be specified. *

* IMPORTANT: This class is not intended to be subclassed. *

* * @see Tool Tips snippets * @see SWT Example: ControlExample * @see Sample code and further information * * @since 3.2 * @noextend This class is not intended to be subclassed by clients. */ public class ToolTip extends Widget { Shell parent; String text, message; TrayItem item; int x, y, timerId; int /*long*/ layoutText = 0, layoutMessage = 0; int [] borderPolygon; boolean spikeAbove, autohide; static final int BORDER = 5; static final int PADDING = 5; static final int INSET = 4; static final int TIP_HEIGHT = 20; static final int IMAGE_SIZE = 16; static final int DELAY = 8000; /** * Constructs a new instance of this class given its parent * and a style value describing its behavior and appearance. *

* The style value is either one of the style constants defined in * class SWT which is applicable to instances of this * class, or must be built by bitwise OR'ing together * (that is, using the int "|" operator) two or more * of those SWT style constants. The class description * lists the style constants that are applicable to the class. * Style bits are also inherited from superclasses. *

* * @param parent a composite control which will be the parent of the new instance (cannot be null) * @param style the style of control to construct * * @exception IllegalArgumentException * @exception SWTException * * @see SWT#BALLOON * @see SWT#ICON_ERROR * @see SWT#ICON_INFORMATION * @see SWT#ICON_WARNING * @see Widget#checkSubclass * @see Widget#getStyle */ public ToolTip (Shell parent, int style) { super (parent, checkStyle (style)); this.parent = parent; createWidget (0); parent.addToolTip (this); } static int checkStyle (int style) { int mask = SWT.ICON_ERROR | SWT.ICON_INFORMATION | SWT.ICON_WARNING; if ((style & mask) == 0) return style; return checkBits (style, SWT.ICON_INFORMATION, SWT.ICON_WARNING, SWT.ICON_ERROR, 0, 0, 0); } /** * Adds the listener to the collection of listeners who will * be notified when the receiver is selected by the user, by sending * it one of the messages defined in the SelectionListener * interface. *

* widgetSelected is called when the receiver is selected. * widgetDefaultSelected is not called. *

* * @param listener the listener which should be notified when the receiver is selected by the user * * @exception IllegalArgumentException * @exception SWTException * * @see SelectionListener * @see #removeSelectionListener * @see SelectionEvent */ public void addSelectionListener (SelectionListener listener) { checkWidget (); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); TypedListener typedListener = new TypedListener (listener); addListener (SWT.Selection,typedListener); addListener (SWT.DefaultSelection,typedListener); } void configure () { int /*long*/ screen = OS.gdk_screen_get_default (); OS.gtk_widget_realize (handle); int monitorNumber = OS.gdk_screen_get_monitor_at_window (screen, gtk_widget_get_window (handle)); GdkRectangle dest = new GdkRectangle (); OS.gdk_screen_get_monitor_geometry (screen, monitorNumber, dest); Point point = getSize (dest.width / 4); int w = point.x; int h = point.y; point = getLocation (); int x = point.x; int y = point.y; OS.gtk_window_resize (handle, w, h + TIP_HEIGHT); int[] polyline; spikeAbove = dest.height >= y + h + TIP_HEIGHT; if (dest.width >= x + w) { if (dest.height >= y + h + TIP_HEIGHT) { int t = TIP_HEIGHT; polyline = new int[] { 0, 5+t, 1, 5+t, 1, 3+t, 3, 1+t, 5, 1+t, 5, t, 16, t, 16, 0, 35, t, w-5, t, w-5, 1+t, w-3, 1+t, w-1, 3+t, w-1, 5+t, w, 5+t, w, h-5+t, w-1, h-5+t, w-1, h-3+t, w-2, h-3+t, w-2, h-2+t, w-3, h-2+t, w-3, h-1+t, w-5, h-1+t, w-5, h+t, 5, h+t, 5, h-1+t, 3, h-1+t, 3, h-2+t, 2, h-2+t, 2, h-3+t, 1, h-3+t, 1, h-5+t, 0, h-5+t, 0, 5+t}; borderPolygon = new int[] { 0, 5+t, 1, 4+t, 1, 3+t, 3, 1+t, 4, 1+t, 5, t, 16, t, 16, 1, 35, t, w-6, 0+t, w-5, 1+t, w-4, 1+t, w-2, 3+t, w-2, 4+t, w-1, 5+t, w-1, h-6+t, w-2, h-5+t, w-2, h-4+t, w-4, h-2+t, w-5, h-2+t, w-6, h-1+t, 5, h-1+t, 4, h-2+t, 3, h-2+t, 1, h-4+t, 1, h-5+t, 0, h-6+t, 0, 5+t}; if ((parent.style & SWT.MIRRORED) != 0) { x -= w - 36; polyline[12] = w-36; polyline[14] = w-16; polyline[16] = w-15; borderPolygon[12] = w-35; borderPolygon[14] = borderPolygon[16] = w-16; } OS.gtk_window_move (handle, Math.max(0, x - 17), y); } else { polyline = new int[] { 0, 5, 1, 5, 1, 3, 3, 1, 5, 1, 5, 0, w-5, 0, w-5, 1, w-3, 1, w-1, 3, w-1, 5, w, 5, w, h-5, w-1, h-5, w-1, h-3, w-2, h-3, w-2, h-2, w-3, h-2, w-3, h-1, w-5, h-1, w-5, h, 35, h, 16, h+TIP_HEIGHT, 16, h, 5, h, 5, h-1, 3, h-1, 3, h-2, 2, h-2, 2, h-3, 1, h-3, 1, h-5, 0, h-5, 0, 5}; borderPolygon = new int[] { 0, 5, 1, 4, 1, 3, 3, 1, 4, 1, 5, 0, w-6, 0, w-5, 1, w-4, 1, w-2, 3, w-2, 4, w-1, 5, w-1, h-6, w-2, h-5, w-2, h-4, w-4, h-2, w-5, h-2, w-6, h-1, 35, h-1, 17, h+TIP_HEIGHT-2, 17, h-1, 5, h-1, 4, h-2, 3, h-2, 1, h-4, 1, h-5, 0, h-6, 0, 5}; if ((parent.style & SWT.MIRRORED) != 0) { x -= w - 36; polyline [42] = polyline [44] = w-16; polyline [46] = w-35; borderPolygon[36] = borderPolygon[38] = w-17; borderPolygon [40] = w-35; } OS.gtk_window_move (handle, Math.max(0, x - 17), y - h - TIP_HEIGHT); } } else { if (dest.height >= y + h + TIP_HEIGHT) { int t = TIP_HEIGHT; polyline = new int[] { 0, 5+t, 1, 5+t, 1, 3+t, 3, 1+t, 5, 1+t, 5, t, w-35, t, w-16, 0, w-16, t, w-5, t, w-5, 1+t, w-3, 1+t, w-1, 3+t, w-1, 5+t, w, 5+t, w, h-5+t, w-1, h-5+t, w-1, h-3+t, w-2, h-3+t, w-2, h-2+t, w-3, h-2+t, w-3, h-1+t, w-5, h-1+t, w-5, h+t, 5, h+t, 5, h-1+t, 3, h-1+t, 3, h-2+t, 2, h-2+t, 2, h-3+t, 1, h-3+t, 1, h-5+t, 0, h-5+t, 0, 5+t}; borderPolygon = new int[] { 0, 5+t, 1, 4+t, 1, 3+t, 3, 1+t, 4, 1+t, 5, t, w-35, t, w-17, 2, w-17, t, w-6, t, w-5, 1+t, w-4, 1+t, w-2, 3+t, w-2, 4+t, w-1, 5+t, w-1, h-6+t, w-2, h-5+t, w-2, h-4+t, w-4, h-2+t, w-5, h-2+t, w-6, h-1+t, 5, h-1+t, 4, h-2+t, 3, h-2+t, 1, h-4+t, 1, h-5+t, 0, h-6+t, 0, 5+t}; if ((parent.style & SWT.MIRRORED) != 0) { x += w - 35; polyline [12] = polyline [14] = 16; polyline [16] = 35; borderPolygon[12] = borderPolygon[14] = 16; borderPolygon [16] = 35; } OS.gtk_window_move (handle, Math.min(dest.width - w, x - w + 17), y); } else { polyline = new int[] { 0, 5, 1, 5, 1, 3, 3, 1, 5, 1, 5, 0, w-5, 0, w-5, 1, w-3, 1, w-1, 3, w-1, 5, w, 5, w, h-5, w-1, h-5, w-1, h-3, w-2, h-3, w-2, h-2, w-3, h-2, w-3, h-1, w-5, h-1, w-5, h, w-16, h, w-16, h+TIP_HEIGHT, w-35, h, 5, h, 5, h-1, 3, h-1, 3, h-2, 2, h-2, 2, h-3, 1, h-3, 1, h-5, 0, h-5, 0, 5}; borderPolygon = new int[] { 0, 5, 1, 4, 1, 3, 3, 1, 4, 1, 5, 0, w-6, 0, w-5, 1, w-4, 1, w-2, 3, w-2, 4, w-1, 5, w-1, h-6, w-2, h-5, w-2, h-4, w-4, h-2, w-5, h-2, w-6, h-1, w-17, h-1, w-17, h+TIP_HEIGHT-2, w-36, h-1, 5, h-1, 4, h-2, 3, h-2, 1, h-4, 1, h-5, 0, h-6, 0, 5}; if ((parent.style & SWT.MIRRORED) != 0) { x += w - 35; polyline [42] = 35; polyline [44] = polyline [46] = 16; borderPolygon[36] = 35; borderPolygon[38] = borderPolygon [40] = 17; } OS.gtk_window_move (handle, Math.min(dest.width - w, x - w + 17), y - h - TIP_HEIGHT); } } int /*long*/ rgn = OS.gdk_region_polygon (polyline, polyline.length / 2, OS.GDK_EVEN_ODD_RULE); OS.gtk_widget_realize (handle); int /*long*/ window = gtk_widget_get_window (handle); OS.gdk_window_shape_combine_region (window, rgn, 0, 0); OS.gdk_region_destroy (rgn); } void createHandle (int index) { if ((style & SWT.BALLOON) != 0) { state |= HANDLE; handle = OS.gtk_window_new (OS.GTK_WINDOW_POPUP); Color background = display.getSystemColor (SWT.COLOR_INFO_BACKGROUND); OS.gtk_widget_modify_bg (handle, OS.GTK_STATE_NORMAL, background.handle); OS.gtk_widget_set_app_paintable (handle, true); OS.gtk_window_set_type_hint (handle, OS.GDK_WINDOW_TYPE_HINT_TOOLTIP); } else { if (OS.GTK_VERSION < OS.VERSION (2, 12, 0)) { state |= HANDLE; handle = OS.gtk_tooltips_new (); if (handle == 0) error (SWT.ERROR_NO_HANDLES); /* * Bug in Solaris-GTK. Invoking gtk_tooltips_force_window() * can cause a crash in older versions of GTK. The fix is * to avoid this call if the GTK version is older than 2.2.x. * The call is to be avoided on GTK versions newer than 2.12.0 * where it's deprecated. */ if (OS.GTK_VERSION >= OS.VERSION (2, 2, 1)) { OS.gtk_tooltips_force_window (handle); } OS.g_object_ref (handle); g_object_ref_sink (handle); } } } void createWidget (int index) { super.createWidget (index); text = ""; message = ""; x = y = -1; autohide = true; } void deregister () { super.deregister (); if ((style & SWT.BALLOON) == 0) { if (OS.GTK_VERSION < OS.VERSION (2, 12, 0)) { int /*long*/ tipWindow = OS.GTK_TOOLTIPS_TIP_WINDOW (handle); if (tipWindow != 0) display.removeWidget (tipWindow); } } } void destroyWidget () { int /*long*/ topHandle = topHandle (); if (parent != null) parent.removeTooTip (this); releaseHandle (); if (topHandle != 0 && (state & HANDLE) != 0) { if ((style & SWT.BALLOON) != 0) { OS.gtk_widget_destroy (topHandle); } else { OS.g_object_unref (topHandle); } } } /** * Returns true if the receiver is automatically * hidden by the platform, and false otherwise. * * @return the receiver's auto hide state * * @exception SWTException * */ public boolean getAutoHide () { checkWidget (); return autohide; } Point getLocation () { int x = this.x; int y = this.y; if (item != null) { int /*long*/ itemHandle = item.handle; if (OS.GTK_VERSION >= OS.VERSION (2, 10, 0)) { GdkRectangle area = new GdkRectangle (); OS.gtk_status_icon_get_geometry (itemHandle, 0, area, 0); x = area.x + area.width / 2; y = area.y + area.height / 2; } else { OS.gtk_widget_realize (itemHandle); int /*long*/ window = gtk_widget_get_window (itemHandle); int [] px = new int [1], py = new int [1]; OS.gdk_window_get_origin (window, px, py); GtkAllocation allocation = new GtkAllocation (); gtk_widget_get_allocation (itemHandle, allocation); x = px [0] + allocation.width / 2; y = py [0] + allocation.height / 2; } } if (x == -1 || y == -1) { int [] px = new int [1], py = new int [1]; OS.gdk_window_get_pointer (0, px, py, null); x = px [0]; y = py [0]; } return new Point(x, y); } /** * Returns the receiver's message, which will be an empty * string if it has never been set. * * @return the receiver's message * * @exception SWTException */ public String getMessage () { checkWidget (); return message; } String getNameText () { return getText (); } /** * Returns the receiver's parent, which must be a Shell. * * @return the receiver's parent * * @exception SWTException */ public Shell getParent () { checkWidget (); return parent; } Point getSize (int maxWidth) { int textWidth = 0, messageWidth = 0; int [] w = new int [1], h = new int [1]; if (layoutText != 0) { OS.pango_layout_set_width (layoutText, -1); OS.pango_layout_get_size (layoutText, w, h); textWidth = OS.PANGO_PIXELS (w [0]); } if (layoutMessage != 0) { OS.pango_layout_set_width (layoutMessage, -1); OS.pango_layout_get_size (layoutMessage, w, h); messageWidth = OS.PANGO_PIXELS (w [0]); } int messageTrim = 2 * INSET + 2 * BORDER + 2 * PADDING; boolean hasImage = layoutText != 0 && (style & (SWT.ICON_ERROR | SWT.ICON_INFORMATION | SWT.ICON_WARNING)) != 0; int textTrim = messageTrim + (hasImage ? IMAGE_SIZE : 0); int width = Math.min (maxWidth, Math.max (textWidth + textTrim, messageWidth + messageTrim)); int textHeight = 0, messageHeight = 0; if (layoutText != 0) { OS.pango_layout_set_width (layoutText, (maxWidth - textTrim) * OS.PANGO_SCALE); OS.pango_layout_get_size (layoutText, w, h); textHeight = OS.PANGO_PIXELS (h [0]); } if (layoutMessage != 0) { OS.pango_layout_set_width (layoutMessage, (maxWidth - messageTrim) * OS.PANGO_SCALE); OS.pango_layout_get_size (layoutMessage, w, h); messageHeight = OS.PANGO_PIXELS (h [0]); } int height = 2 * BORDER + 2 * PADDING + messageHeight; if (layoutText != 0) height += Math.max (IMAGE_SIZE, textHeight) + 2 * PADDING; return new Point(width, height); } /** * Returns the receiver's text, which will be an empty * string if it has never been set. * * @return the receiver's text * * @exception SWTException */ public String getText () { checkWidget (); return text; } /** * Returns true if the receiver is visible, and * false otherwise. *

* If one of the receiver's ancestors is not visible or some * other condition makes the receiver not visible, this method * may still indicate that it is considered visible even though * it may not actually be showing. *

* * @return the receiver's visibility state * * @exception SWTException */ public boolean getVisible () { checkWidget (); if ((style & SWT.BALLOON) != 0) return gtk_widget_get_visible (handle); if (OS.GTK_VERSION < OS.VERSION (2, 12, 0)) { int /*long*/ tipWindow = OS.GTK_TOOLTIPS_TIP_WINDOW (handle); return OS.GTK_WIDGET_VISIBLE (tipWindow); } return false; } int /*long*/ gtk_button_press_event (int /*long*/ widget, int /*long*/ event) { sendSelectionEvent (SWT.Selection, null, true); setVisible (false); return 0; } int /*long*/ gtk_expose_event (int /*long*/ widget, int /*long*/ eventPtr) { if ((state & OBSCURED) != 0) return 0; int /*long*/ window = gtk_widget_get_window (handle); int x = BORDER + PADDING; int y = BORDER + PADDING; if (OS.USE_CAIRO) { int /*long*/ cairo = OS.gdk_cairo_create(window); if (cairo == 0) error (SWT.ERROR_NO_HANDLES); int count = borderPolygon.length / 2; if (count == 0) return 0; Cairo.cairo_set_line_width(cairo, 1); Cairo.cairo_move_to(cairo, borderPolygon[0], borderPolygon[1]); for (int i=1,j=2; itrue if the receiver is visible and all * of the receiver's ancestors are visible and false * otherwise. * * @return the receiver's visibility state * * @exception SWTException * * @see #getVisible */ public boolean isVisible () { checkWidget (); return getVisible (); } void register () { super.register (); if ((style & SWT.BALLOON) == 0) { if (OS.GTK_VERSION < OS.VERSION (2, 12, 0)) { int /*long*/ tipWindow = OS.GTK_TOOLTIPS_TIP_WINDOW (handle); if (tipWindow != 0) display.addWidget (tipWindow, this); } } } void releaseWidget () { super.releaseWidget (); setVisible(false); if (layoutText != 0) OS.g_object_unref (layoutText); layoutText = 0; if (layoutMessage != 0) OS.g_object_unref (layoutMessage); layoutMessage = 0; if (timerId != 0) OS.g_source_remove(timerId); timerId = 0; text = null; message = null; borderPolygon = null; } /** * Removes the listener from the collection of listeners who will * be notified when the receiver is selected by the user. * * @param listener the listener which should no longer be notified * * @exception IllegalArgumentException * @exception SWTException * * @see SelectionListener * @see #addSelectionListener */ public void removeSelectionListener (SelectionListener listener) { checkWidget(); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); if (eventTable == null) return; eventTable.unhook (SWT.Selection, listener); eventTable.unhook (SWT.DefaultSelection, listener); } /** * Makes the receiver hide automatically when true, * and remain visible when false. * * @param autoHide the auto hide state * * @exception SWTException * * @see #getVisible * @see #setVisible */ public void setAutoHide (boolean autoHide) { checkWidget (); this.autohide = autoHide; //TODO - update when visible } /** * Sets the location of the receiver, which must be a tooltip, * to the point specified by the arguments which are relative * to the display. *

* Note that this is different from most widgets where the * location of the widget is relative to the parent. *

* * @param x the new x coordinate for the receiver * @param y the new y coordinate for the receiver * * @exception SWTException */ public void setLocation (int x, int y) { checkWidget (); this.x = x; this.y = y; if ((style & SWT.BALLOON) != 0) { if (gtk_widget_get_visible (handle)) configure (); } else { if (OS.GTK_VERSION < OS.VERSION (2, 12, 0)) { int /*long*/ tipWindow = OS.GTK_TOOLTIPS_TIP_WINDOW (handle); if (gtk_widget_get_visible (tipWindow)) { OS.gtk_window_move (tipWindow, x, y); } } } } /** * Sets the location of the receiver, which must be a tooltip, * to the point specified by the argument which is relative * to the display. *

* Note that this is different from most widgets where the * location of the widget is relative to the parent. *

* Note that the platform window manager ultimately has control * over the location of tooltips. *

* * @param location the new location for the receiver * * @exception IllegalArgumentException * @exception SWTException */ public void setLocation (Point location) { checkWidget (); if (location == null) error (SWT.ERROR_NULL_ARGUMENT); setLocation (location.x, location.y); } /** * Sets the receiver's message. * * @param string the new message * * @exception IllegalArgumentException * @exception SWTException */ public void setMessage (String string) { checkWidget (); if (string == null) error (SWT.ERROR_NULL_ARGUMENT); message = string; if ((style & SWT.BALLOON) == 0) return; if (layoutMessage != 0) OS.g_object_unref (layoutMessage); layoutMessage = 0; if (message.length () != 0) { byte [] buffer = Converter.wcsToMbcs (null, message, true); layoutMessage = OS.gtk_widget_create_pango_layout (handle, buffer); if (OS.GTK_VERSION >= OS.VERSION (2, 4, 0)) { OS.pango_layout_set_auto_dir (layoutMessage, false); } OS.pango_layout_set_wrap (layoutMessage, OS.PANGO_WRAP_WORD_CHAR); } if (gtk_widget_get_visible (handle)) configure (); } /** * Sets the receiver's text. * * @param string the new text * * @exception IllegalArgumentException * @exception SWTException */ public void setText (String string) { checkWidget (); if (string == null) error (SWT.ERROR_NULL_ARGUMENT); text = string; if ((style & SWT.BALLOON) == 0) return; if (layoutText != 0) OS.g_object_unref (layoutText); layoutText = 0; if (text.length () != 0) { byte [] buffer = Converter.wcsToMbcs (null, text, true); layoutText = OS.gtk_widget_create_pango_layout (handle, buffer); if (OS.GTK_VERSION >= OS.VERSION (2, 4, 0)) { OS.pango_layout_set_auto_dir (layoutText, false); } int /*long*/ boldAttr = OS.pango_attr_weight_new (OS.PANGO_WEIGHT_BOLD); PangoAttribute attribute = new PangoAttribute (); OS.memmove (attribute, boldAttr, PangoAttribute.sizeof); attribute.start_index = 0; attribute.end_index = buffer.length; OS.memmove (boldAttr, attribute, PangoAttribute.sizeof); int /*long*/ attrList = OS.pango_attr_list_new (); OS.pango_attr_list_insert (attrList, boldAttr); OS.pango_layout_set_attributes (layoutText, attrList); OS.pango_attr_list_unref (attrList); OS.pango_layout_set_wrap (layoutText, OS.PANGO_WRAP_WORD_CHAR); } if (gtk_widget_get_visible (handle)) configure (); } /** * Marks the receiver as visible if the argument is true, * and marks it invisible otherwise. *

* If one of the receiver's ancestors is not visible or some * other condition makes the receiver not visible, marking * it visible may not actually cause it to be displayed. *

* * @param visible the new visibility state * * @exception SWTException */ public void setVisible (boolean visible) { checkWidget (); if (timerId != 0) OS.g_source_remove(timerId); timerId = 0; if (visible) { if ((style & SWT.BALLOON) != 0) { configure (); OS.gtk_widget_show (handle); } else { int /*long*/ vboxHandle = parent.vboxHandle; StringBuffer string = new StringBuffer (text); if (text.length () > 0) string.append ("\n\n"); string.append (message); byte [] buffer = Converter.wcsToMbcs (null, string.toString(), true); if (OS.GTK_VERSION >= OS.VERSION(2, 12, 0)) { OS.gtk_widget_set_tooltip_text(vboxHandle, buffer); } else { OS.gtk_tooltips_set_tip (handle, vboxHandle, buffer, null); int /*long*/ data = OS.gtk_tooltips_data_get (vboxHandle); OS.GTK_TOOLTIPS_SET_ACTIVE (handle, data); OS.gtk_tooltips_set_tip (handle, vboxHandle, buffer, null); } } if (autohide) timerId = OS.g_timeout_add (DELAY, display.windowTimerProc, handle); } else { if ((style & SWT.BALLOON) != 0) { OS.gtk_widget_hide (handle); } else { int /*long*/ vboxHandle = parent.vboxHandle; byte[] buffer = Converter.wcsToMbcs(null, "", true); if (OS.GTK_VERSION >= OS.VERSION(2, 12, 0)) { OS.gtk_widget_set_tooltip_text(vboxHandle, buffer); } else { OS.gtk_tooltips_set_tip(handle, vboxHandle, buffer, null); } } } } int /*long*/ timerProc (int /*long*/ widget) { if ((style & SWT.BALLOON) != 0) { OS.gtk_widget_hide (handle); } else { if (OS.GTK_VERSION < OS.VERSION (2, 12, 0)) { int /*long*/ tipWindow = OS.GTK_TOOLTIPS_TIP_WINDOW (handle); OS.gtk_widget_hide (tipWindow); } } return 0; } }