/*******************************************************************************
 * Copyright (c) 2000, 2008 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
 *     
 * Port to the D programming language:
 *     Jacob Carlborg <doob@me.com>
 *******************************************************************************/
module dwt.widgets.ToolTip;


import dwt.DWT;
import dwt.DWTException;
import dwt.events.SelectionEvent;
import dwt.events.SelectionListener;
import dwt.graphics.Color;
import dwt.graphics.Font;
import dwt.graphics.FontData;
import dwt.graphics.GC;
import dwt.graphics.Image;
import dwt.graphics.Point;
import dwt.graphics.Rectangle;
import dwt.graphics.Region;
import dwt.graphics.TextLayout;
import dwt.graphics.TextStyle;

import dwt.dwthelper.utils;
import dwt.graphics.Device;
import dwt.widgets.Display;
import dwt.widgets.Event;
import dwt.widgets.Listener;
import dwt.widgets.Shell;
import dwt.widgets.TrayItem;
import dwt.widgets.TypedListener;
import dwt.widgets.Widget;

/**
 * Instances of this class represent popup windows that are used
 * to inform or warn the user.
 * <p>
 * <dl>
 * <dt><b>Styles:</b></dt>
 * <dd>BALLOON, ICON_ERROR, ICON_INFORMATION, ICON_WARNING</dd>
 * <dt><b>Events:</b></dt>
 * <dd>Selection</dd>
 * </dl>
 * </p><p>
 * Note: Only one of the styles ICON_ERROR, ICON_INFORMATION,
 * and ICON_WARNING may be specified.
 * </p><p>
 * IMPORTANT: This class is intended to be subclassed <em>only</em>
 * within the DWT implementation.
 * </p>
 *
 * @see <a href="http://www.eclipse.org/swt/snippets/#tooltips">Tool Tips snippets</a>
 * @see <a href="http://www.eclipse.org/swt/examples.php">DWT Example: ControlExample</a>
 * @see <a href="http://www.eclipse.org/swt/">Sample code and further information</a>
 * 
 * @since 3.2
 */
public class ToolTip : Widget {
    Shell parent, tip;
    TrayItem item;
    int x, y;
    int [] borderPolygon;
    bool spikeAbove, autohide;
    Listener listener;
    TextLayout layoutText, layoutMessage;
    Region region;
    Font boldFont;
    Runnable runnable;
    
    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 = 10000;
    
/**
 * Constructs a new instance of this class given its parent
 * and a style value describing its behavior and appearance.
 * <p>
 * The style value is either one of the style constants defined in
 * class <code>DWT</code> which is applicable to instances of this
 * class, or must be built by <em>bitwise OR</em>'ing together 
 * (that is, using the <code>int</code> "|" operator) two or more
 * of those <code>DWT</code> style constants. The class description
 * lists the style constants that are applicable to the class.
 * Style bits are also inherited from superclasses.
 * </p>
 *
 * @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 <ul>
 *    <li>ERROR_NULL_ARGUMENT - if the parent is null</li>
 * </ul>
 * @exception DWTException <ul>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li>
 *    <li>ERROR_INVALID_SUBCLASS - if this class is not an allowed subclass</li>
 * </ul>
 *
 * @see DWT#ICON_ERROR
 * @see DWT#ICON_INFORMATION
 * @see DWT#ICON_WARNING
 * @see Widget#checkSubclass
 * @see Widget#getStyle
 */
public this (Shell parent, int style) {
    super (parent, checkStyle (style));
    this.parent = parent;
    this.autohide = true;
    x = y = -1; 
    Display display = getDisplay ();
    tip = new Shell (parent, DWT.ON_TOP | DWT.NO_TRIM);
    Color background = display.getSystemColor (DWT.COLOR_INFO_BACKGROUND);
    tip.setBackground (background);
    listener = new class Listener {
        public void handleEvent (Event event) {
            switch (event.type) {
                case DWT.Dispose: onDispose (event); break;
                case DWT.Paint: onPaint (event); break;
                case DWT.MouseDown: onMouseDown (event); break;
                default:
            }
        }
        };
    addListener (DWT.Dispose, listener);
    tip.addListener (DWT.Paint, listener);
    tip.addListener (DWT.MouseDown, listener);
}

static int checkStyle (int style) {
    int mask = DWT.ICON_ERROR | DWT.ICON_INFORMATION | DWT.ICON_WARNING;
    if ((style & mask) is 0) return style;
    return checkBits (style, DWT.ICON_INFORMATION, DWT.ICON_WARNING, DWT.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 <code>SelectionListener</code>
 * interface.
 * <p>
 * <code>widgetSelected</code> is called when the receiver is selected.
 * <code>widgetDefaultSelected</code> is not called.
 * </p>
 *
 * @param listener the listener which should be notified when the receiver is selected by the user
 *
 * @exception IllegalArgumentException <ul>
 *    <li>ERROR_NULL_ARGUMENT - if the listener is null</li>
 * </ul>
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 *
 * @see SelectionListener
 * @see #removeSelectionListener
 * @see SelectionEvent
 */
public void addSelectionListener (SelectionListener listener) {
    checkWidget ();
    if (listener is null) error (DWT.ERROR_NULL_ARGUMENT);
    TypedListener typedListener = new TypedListener (listener);
    addListener (DWT.Selection,typedListener);
    addListener (DWT.DefaultSelection,typedListener);
}

void configure () {
    Display display = parent.getDisplay ();
    int x = this.x;
    int y = this.y;
    if (x is -1 || y is -1) {
    Point point;
    if (item !is null) {
        point = item.getLocation ();
    } else {
        point = display.getCursorLocation ();
    }
        x = point.x;
        y = point.y;
    }
    dwt.widgets.Monitor.Monitor monitor = parent.getMonitor ();
    Rectangle dest = monitor.getBounds ();
    Point size = getSize (dest.width / 4);
    int w = size.x;
    int h = size.y;
    int t = (style & DWT.BALLOON) !is 0 ? TIP_HEIGHT : 0;
    int i = (style & DWT.BALLOON) !is 0 ? 16 : 0;
    tip.setSize (w, h + t);
    int [] polyline;
    spikeAbove = dest.height >= y + size.y + t;
    if (dest.width >= x + size.x) {
        if (dest.height >= y + size.y + t) {
            polyline = [
                        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 = [
                             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];
            tip.setLocation (Math.max (0, x - i), y);
        } else {
            polyline = [
                        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+t, 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 = [
                             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,
                             36, h-1, 16, h+t-1, 16, h-1,
                             5, h-1, 4, h-2, 3, h-2, 1, h-4, 1, h-5, 0, h-6, 
                             0, 5];
            tip.setLocation (Math.max (0, x - i), y - size.y - t);
        }
    } else {
        if (dest.height >= y + size.y + t) {
            polyline = [
                        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 = [
                             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];
            tip.setLocation (Math.min (dest.width - size.x, x - size.x + i), y);
        } else {
            polyline = [
                        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+t, 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 = [
                             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+t-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];
            tip.setLocation (Math.min (dest.width - size.x, x - size.x + i), y - size.y - t);
        }
    }   
    if ((style & DWT.BALLOON) !is 0) {
        if (region !is null) region.dispose ();
        region = new Region (display);
        region.add (polyline);
        tip.setRegion (region);
    }
}

/**
 * Returns <code>true</code> if the receiver is automatically
 * hidden by the platform, and <code>false</code> otherwise.
 *
 * @return the receiver's auto hide state
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 * 
 */
public bool getAutoHide () {
    checkWidget ();
    return autohide;
}

Point getSize (int maxWidth) {
    int textWidth = 0, messageWidth = 0;
    if (layoutText !is null) {
        layoutText.setWidth (-1);
        textWidth = layoutText.getBounds ().width;
    }
    if (layoutMessage !is null) {
        layoutMessage.setWidth (-1);
        messageWidth = layoutMessage.getBounds ().width;
    }
    int messageTrim = 2 * INSET + 2 * BORDER + 2 * PADDING;
bool hasImage =     layoutText !is null && (style & DWT.BALLOON) !is 0 && (style & (DWT.ICON_ERROR | DWT.ICON_INFORMATION | DWT.ICON_WARNING)) !is 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 !is null) {
        layoutText.setWidth (maxWidth - textTrim);  
        textHeight = layoutText.getBounds ().height;
    }
    if (layoutMessage !is null) {
        layoutMessage.setWidth (maxWidth - messageTrim);
        messageHeight = layoutMessage.getBounds ().height;
    }
    int height = 2 * BORDER + 2 * PADDING + messageHeight;
    if (layoutText !is null) height += Math.max (IMAGE_SIZE, textHeight) + 2 * PADDING;
    return new Point (width, height);
}

/**
 * Returns the receiver's message, which will be an empty
 * string if it has never been set.
 *
 * @return the receiver's message
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public String getMessage () {
    checkWidget ();
    return layoutMessage !is null ? layoutMessage.getText() : "";
}

/**
 * Returns the receiver's parent, which must be a <code>Shell</code>.
 *
 * @return the receiver's parent
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public Shell getParent () {
    checkWidget ();
    return parent;
}

/**
 * Returns the receiver's text, which will be an empty
 * string if it has never been set.
 *
 * @return the receiver's text
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public String getText () {
    checkWidget ();
    return layoutText !is null ? layoutText.getText() : "";
}

/**
 * Returns <code>true</code> if the receiver is visible, and
 * <code>false</code> otherwise.
 * <p>
 * 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.
 * </p>
 *
 * @return the receiver's visibility state
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public bool getVisible () {
    checkWidget ();
    return tip.getVisible ();
}

/**
 * Returns <code>true</code> if the receiver is visible and all
 * of the receiver's ancestors are visible and <code>false</code>
 * otherwise.
 *
 * @return the receiver's visibility state
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 *
 * @see #getVisible
 */
public bool isVisible () {
    checkWidget ();
    return getVisible ();
}

void onDispose (Event event) {
    removeListener (DWT.Dispose, listener);
    notifyListeners (DWT.Dispose, event);
    event.type = DWT.None;
    
    if (runnable !is null) {
        Display display = getDisplay ();
        display.timerExec (-1, runnable);
    }
    runnable = null;
    tip.dispose ();
    tip = null;
    if (region !is null) region.dispose ();
    region = null;
    if (layoutText !is null) layoutText.dispose ();
    layoutText = null;
    if (layoutMessage !is null) layoutMessage.dispose ();
    layoutMessage = null;
    if (boldFont !is null) boldFont.dispose ();
    boldFont = null;
    borderPolygon = null;
}

void onMouseDown (Event event) {
    notifyListeners (DWT.Selection, new Event ());
    setVisible (false);
}

void onPaint (Event event) {
    GC gc = event.gc;
    int x = BORDER + PADDING;
    int y = BORDER + PADDING;
    if ((style & DWT.BALLOON) !is 0) {
        if (spikeAbove) y += TIP_HEIGHT;
        gc.drawPolygon (borderPolygon);
    } else {
        Rectangle rect = tip.getClientArea ();
        gc.drawRectangle(rect.x, rect.y, rect.width - 1, rect.height -1);
    } 
    if (layoutText !is null) {
        int id = style & (DWT.ICON_ERROR | DWT.ICON_INFORMATION | DWT.ICON_WARNING);
        if ((style & DWT.BALLOON) !is 0 && id !is 0) {
            Display display = getDisplay ();
            Image image = display.getSystemImage (id);
            Rectangle rect = image.getBounds ();
            gc.drawImage (image, 0, 0, rect.width, rect.height, x, y, IMAGE_SIZE, IMAGE_SIZE);
            x += IMAGE_SIZE;
        }
        x += INSET;
        layoutText.draw (gc, x, y);
        y += 2 * PADDING + Math.max (IMAGE_SIZE, layoutText.getBounds ().height);
    }
    if (layoutMessage !is null) {
        x = BORDER + PADDING + INSET;
        layoutMessage.draw (gc, x, y);
    }
}

/**
 * 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 <ul>
 *    <li>ERROR_NULL_ARGUMENT - if the listener is null</li>
 * </ul>
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 *
 * @see SelectionListener
 * @see #addSelectionListener
 */
public void removeSelectionListener (SelectionListener listener) {
    checkWidget();
    if (listener is null) error (DWT.ERROR_NULL_ARGUMENT);
    if (eventTable is null) return;
    eventTable.unhook (DWT.Selection, listener);
    eventTable.unhook (DWT.DefaultSelection,listener);  
}

/**
 * Makes the receiver hide automatically when <code>true</code>,
 * and remain visible when <code>false</code>.
 *
 * @param autoHide the auto hide state
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 * 
 * @see #getVisible
 * @see #setVisible
 */
public void setAutoHide (bool 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.
 * <p>
 * Note that this is different from most widgets where the
 * location of the widget is relative to the parent.
 * </p>
 *
 * @param x the new x coordinate for the receiver
 * @param y the new y coordinate for the receiver
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public void setLocation (int x, int y) {
    checkWidget ();
    if (this.x is x && this.y is y) return;
    this.x = x;
    this.y = y;
    if (tip.getVisible ()) configure ();
}

/**
 * Sets the location of the receiver, which must be a tooltip,
 * to the point specified by the argument which is relative
 * to the display.
 * <p>
 * Note that this is different from most widgets where the
 * location of the widget is relative to the parent.
 * </p><p>
 * Note that the platform window manager ultimately has control
 * over the location of tooltips.
 * </p>
 *
 * @param location the new location for the receiver
 *
 * @exception IllegalArgumentException <ul>
 *    <li>ERROR_NULL_ARGUMENT - if the point is null</li>
 * </ul>
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public void setLocation (Point location) {
    checkWidget ();
    if (location is null) DWT.error (DWT.ERROR_NULL_ARGUMENT);
    setLocation (location.x, location.y);
}

/**
 * Sets the receiver's message.
 *
 * @param string the new message
 *
 * @exception IllegalArgumentException <ul>
 *    <li>ERROR_NULL_ARGUMENT - if the text is null</li>
 * </ul>
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public void setMessage (String string) {
    checkWidget ();
    if (string is null) error (DWT.ERROR_NULL_ARGUMENT);
    if (layoutMessage !is null) layoutMessage.dispose();
    layoutMessage = null;
    if (string.length () !is 0) {
        Display display = getDisplay (); 
        layoutMessage = new TextLayout (display);
        layoutMessage.setText (string);
    }
    if (tip.getVisible ()) configure ();
}

/**
 * Sets the receiver's text.
 *
 * @param string the new text
 *
 * @exception IllegalArgumentException <ul>
 *    <li>ERROR_NULL_ARGUMENT - if the text is null</li>
 * </ul>
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public void setText (String string) {
    checkWidget ();
    //if (string is null) error (DWT.ERROR_NULL_ARGUMENT);
    if (layoutText !is null) layoutText.dispose ();
    layoutText = null;
    if (boldFont !is null) boldFont.dispose ();
    boldFont = null;
    if (string.length () !is 0) {
        Display display = getDisplay ();
        layoutText = new TextLayout (display);
        layoutText.setText (string);
        Font font = display.getSystemFont ();
        FontData data = font.getFontData () [0];
        boldFont = new Font (cast(Device) display, data.getName (), data.getHeight (), DWT.BOLD);
        TextStyle style = new TextStyle (boldFont, null, null);
        layoutText.setStyle (style, 0, string.length ());
    }
    if (tip.getVisible ()) configure ();
}

/**
 * Marks the receiver as visible if the argument is <code>true</code>,
 * and marks it invisible otherwise. 
 * <p>
 * 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.
 * </p>
 *
 * @param visible the new visibility state
 *
 * @exception DWTException <ul>
 *    <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
 *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
 * </ul>
 */
public void setVisible (bool visible) {
    if (visible) configure ();
    tip.setVisible (visible);
    Display display = getDisplay ();
    if (runnable !is null) display.timerExec (-1, runnable);
    runnable = null;
    if (autohide && visible) {
        runnable = new class Runnable {
            public void run () {
                if (!isDisposed ()) setVisible (false);
            }
            };
        display.timerExec(DELAY, runnable);
    }
}

}