summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSteven Hung2013-08-30 17:10:45 (EDT)
committerSteven Hung2013-08-30 17:10:45 (EDT)
commit23701f5977d0ac3fef0790c442069074cfb6999b (patch)
treeb0f8a61299703ebb546007d0d6e3b52c91395614
parent08b11d7521adb9e0125b4c3ee1c31568783180ff (diff)
downloadwebtools.maps-23701f5977d0ac3fef0790c442069074cfb6999b.zip
webtools.maps-23701f5977d0ac3fef0790c442069074cfb6999b.tar.gz
webtools.maps-23701f5977d0ac3fef0790c442069074cfb6999b.tar.bz2
[409584] Focus/UI issue when server editor is too wide
-rw-r--r--releng.servertools/maps/wst-server-component-features.map4
-rw-r--r--releng.servertools/maps/wst-server-ui.map2
2 files changed, 3 insertions, 3 deletions
diff --git a/releng.servertools/maps/wst-server-component-features.map b/releng.servertools/maps/wst-server-component-features.map
index 91847e6..7fe4032 100644
--- a/releng.servertools/maps/wst-server-component-features.map
+++ b/releng.servertools/maps/wst-server-component-features.map
@@ -4,9 +4,9 @@
! being developed and released from the master stream
feature@org.eclipse.wst.server_core.feature=GIT,tag=v20130412_1040,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_core.feature
-feature@org.eclipse.wst.server_sdk.feature=GIT,tag=v20130829_1834,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_sdk.feature
+feature@org.eclipse.wst.server_sdk.feature=GIT,tag=v20130830_1707,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_sdk.feature
feature@org.eclipse.wst.server_tests.feature=GIT,tag=v20130422_1357,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_tests.feature
-feature@org.eclipse.wst.server_ui.feature=GIT,tag=v20130828_1703,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_ui.feature
+feature@org.eclipse.wst.server_ui.feature=GIT,tag=v20130830_1707,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_ui.feature
feature@org.eclipse.wst.server_userdoc.feature=GIT,tag=v20120830_2320,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_userdoc.feature
feature@org.eclipse.wst.server_adapters.feature=GIT,tag=v20130502_0936,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_adapters.feature
feature@org.eclipse.wst.server_adapters.sdk.feature=GIT,tag=v20130502_0936,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_adapters.sdk.feature
diff --git a/releng.servertools/maps/wst-server-ui.map b/releng.servertools/maps/wst-server-ui.map
index f899ce9..dcf2755 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=v20130501_1206,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=v20130828_1703,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=v20130830_1707,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=v20120821_1517,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=v20130529_1709,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery