diff options
author | Michael Rennie | 2006-10-20 22:02:12 +0000 |
---|---|---|
committer | Michael Rennie | 2006-10-20 22:02:12 +0000 |
commit | f614778a924ef02b26ad2f57fd0485e67aa77335 (patch) | |
tree | d1045e63767d4f79ff11fa4fa9058cbfe47eee2e /org.eclipse.debug.ui/schema | |
parent | 9366450cb1569f154d74cade606270cc9155e9f3 (diff) | |
download | eclipse.platform.debug-f614778a924ef02b26ad2f57fd0485e67aa77335.tar.gz eclipse.platform.debug-f614778a924ef02b26ad2f57fd0485e67aa77335.tar.xz eclipse.platform.debug-f614778a924ef02b26ad2f57fd0485e67aa77335.zip |
Bug 157059
[launching] extensible launch options
added in the support for ordering of tabs
Diffstat (limited to 'org.eclipse.debug.ui/schema')
-rw-r--r-- | org.eclipse.debug.ui/schema/launchConfigurationTabs.exsd | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/schema/launchConfigurationTabs.exsd b/org.eclipse.debug.ui/schema/launchConfigurationTabs.exsd index 94f030609..35acd19f8 100644 --- a/org.eclipse.debug.ui/schema/launchConfigurationTabs.exsd +++ b/org.eclipse.debug.ui/schema/launchConfigurationTabs.exsd @@ -38,6 +38,9 @@ without consulting with the Platform/Debug team.</p> </documentation> </annotation> <complexType> + <sequence minOccurs="0" maxOccurs="1"> + <element ref="placement"/> + </sequence> <attribute name="id" type="string" use="required"> <annotation> <documentation> @@ -72,6 +75,23 @@ without consulting with the Platform/Debug team.</p> </complexType> </element> + <element name="placement"> + <annotation> + <documentation> + This element allows contributors to specify relative locale for their contributed tab + </documentation> + </annotation> + <complexType> + <attribute name="after" type="string" use="required"> + <annotation> + <documentation> + This attribute describes the id of the tab that this tab should appear immediately after in the left to right arrangement of tabs. + </documentation> + </annotation> + </attribute> + </complexType> + </element> + <annotation> <appInfo> <meta.section type="since"/> |