diff options
author | Steven Hung | 2013-08-30 15:37:03 +0000 |
---|---|---|
committer | Steven Hung | 2013-08-30 15:37:03 +0000 |
commit | fcc0a9e40a8421e90b4e2c9a2a134517a120304d (patch) | |
tree | 35657cb08f46f9b93abc89e586aee94b9e86cf1f | |
parent | 32e144ec929e5564bc59fca6650d529db63ec0b9 (diff) | |
download | webtools.maps-fcc0a9e40a8421e90b4e2c9a2a134517a120304d.tar.gz webtools.maps-fcc0a9e40a8421e90b4e2c9a2a134517a120304d.tar.xz webtools.maps-fcc0a9e40a8421e90b4e2c9a2a134517a120304d.zip |
[409584] Focus/UI issue when server editor is too wide
-rw-r--r-- | releng.servertools/maps/wst-server-component-features.map | 4 | ||||
-rw-r--r-- | releng.servertools/maps/wst-server-ui.map | 2 |
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 fbb0f927c..e84da7875 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 774db00dd..0fd303eab 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 |