diff options
| author | deboer | 2008-04-14 15:48:11 +0000 |
|---|---|---|
| committer | deboer | 2008-04-14 15:48:11 +0000 |
| commit | 25f97dd3e0bb1fa1d4a87f196399e8cb356828c1 (patch) | |
| tree | 05935b91fbb9805912dbbeed42d13b1d3aa69b83 /plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui | |
| parent | 1ff58fc064d6a3f8df571b4f242982383db7b3b9 (diff) | |
| download | webtools.servertools-25f97dd3e0bb1fa1d4a87f196399e8cb356828c1.tar.gz webtools.servertools-25f97dd3e0bb1fa1d4a87f196399e8cb356828c1.tar.xz webtools.servertools-25f97dd3e0bb1fa1d4a87f196399e8cb356828c1.zip | |
[219642] Tooltip usability
Diffstat (limited to 'plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui')
| -rw-r--r-- | plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServersView.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServersView.java b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServersView.java index 40a41eebe..41baeccba 100644 --- a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServersView.java +++ b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServersView.java @@ -200,8 +200,8 @@ public class ServersView extends ViewPart { // init the tooltip ServerToolTip toolTip = new ServerToolTip(treeTable); - toolTip.setShift(new Point(-5, -5)); - toolTip.setPopupDelay(200); // in ms + toolTip.setShift(new Point(10, 3)); + toolTip.setPopupDelay(400); // in ms toolTip.setHideOnMouseDown(true); toolTip.activate(); |