summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2012-08-20 17:23:37 (EDT)
committereyuen2012-08-20 17:23:37 (EDT)
commitb154ddf753c056385c4576f1f3131639539ef7a9 (patch)
tree9ee8cfb8414c0301137af433e1c975335557eb10
parent474aa85de68d945ea307e8f19c2d123ec51ec143 (diff)
downloadwebtools.maps-b154ddf753c056385c4576f1f3131639539ef7a9.zip
webtools.maps-b154ddf753c056385c4576f1f3131639539ef7a9.tar.gz
webtools.maps-b154ddf753c056385c4576f1f3131639539ef7a9.tar.bz2
[386720] ServerToolTip too aggressive at opening tooltips
-rw-r--r--releng.servertools/maps/wst-server-ui.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/wst-server-ui.map b/releng.servertools/maps/wst-server-ui.map
index 8f359b2..af4bab0 100644
--- a/releng.servertools/maps/wst-server-ui.map
+++ b/releng.servertools/maps/wst-server-ui.map
@@ -5,7 +5,7 @@
plugin@org.eclipse.wst.internet.monitor.ui=GIT,tag=v20120306_1603,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.internet.monitor.ui
-plugin@org.eclipse.wst.server.ui=GIT,tag=v20120817_1533,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui
+plugin@org.eclipse.wst.server.ui=GIT,tag=v20120820_1706,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui
plugin@org.eclipse.wst.server.http.ui=GIT,tag=v20090113,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.http.ui
plugin@org.eclipse.wst.server.discovery=GIT,tag=v20120403_0949,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery