summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSteven Hung2013-08-30 11:37:03 (EDT)
committerSteven Hung2013-08-30 11:37:03 (EDT)
commitfcc0a9e40a8421e90b4e2c9a2a134517a120304d (patch)
tree35657cb08f46f9b93abc89e586aee94b9e86cf1f
parent32e144ec929e5564bc59fca6650d529db63ec0b9 (diff)
downloadwebtools.maps-fcc0a9e40a8421e90b4e2c9a2a134517a120304d.zip
webtools.maps-fcc0a9e40a8421e90b4e2c9a2a134517a120304d.tar.gz
webtools.maps-fcc0a9e40a8421e90b4e2c9a2a134517a120304d.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 fbb0f92..e84da78 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=v20130815_0932,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_1134,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_1416,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_1134,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 774db00..0fd303e 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_1416,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_1134,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