summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoreyuen2012-08-21 10:59:30 (EDT)
committereyuen2012-08-21 10:59:30 (EDT)
commit0a1bf07fb0aa30314ee553c46347dba565ac8361 (patch)
tree3649d8005477f2a649168a5e80ef6292e27b28d8
parent4a7bca762afb725d2f075dffb5cae4175c08441e (diff)
downloadwebtools.maps-0a1bf07fb0aa30314ee553c46347dba565ac8361.zip
webtools.maps-0a1bf07fb0aa30314ee553c46347dba565ac8361.tar.gz
webtools.maps-0a1bf07fb0aa30314ee553c46347dba565ac8361.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