diff options
author | Darin Swanson | 2003-06-09 16:43:59 +0000 |
---|---|---|
committer | Darin Swanson | 2003-06-09 16:43:59 +0000 |
commit | ba96fbc94e259de79b996875739241be3a96c2e5 (patch) | |
tree | 2334a32a239b8ac7d2f8fab5fa2044c04bafff48 /org.eclipse.debug.ui/doc | |
parent | dbe6b657c40c4ea0eda3392d3da372eeda558a71 (diff) | |
download | eclipse.platform.debug-ba96fbc94e259de79b996875739241be3a96c2e5.tar.gz eclipse.platform.debug-ba96fbc94e259de79b996875739241be3a96c2e5.tar.xz eclipse.platform.debug-ba96fbc94e259de79b996875739241be3a96c2e5.zip |
Bug 38649 - "Unknown class" in plugin.xml not flagged as warning
Diffstat (limited to 'org.eclipse.debug.ui/doc')
-rw-r--r-- | org.eclipse.debug.ui/doc/org_eclipse_debug_ui_launchGroups.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/doc/org_eclipse_debug_ui_launchGroups.html b/org.eclipse.debug.ui/doc/org_eclipse_debug_ui_launchGroups.html index 0a54884a5..6ec409870 100644 --- a/org.eclipse.debug.ui/doc/org_eclipse_debug_ui_launchGroups.html +++ b/org.eclipse.debug.ui/doc/org_eclipse_debug_ui_launchGroups.html @@ -14,7 +14,7 @@ div.dtd-fragment { <b><i>Identifier: </i></b>org.eclipse.debug.ui.launchGroups<p> <b><i>Since: </i></b>2.1<p> <b><i>Description: </i></b>This extension point provides support for defining a group of launch configurations to be viewed together in the launch configuration dialog, and support a launch history (recent and favorite launches).<p><b><i>Configuration Markup:</i></b><p> -<p><samp><font color="#800000"> <!ELEMENT <a name="e.extension">extension</a> EMPTY></font></samp> +<p><samp><font color="#800000"> <!ELEMENT <a name="e.extension">extension</a> (<a href="#e.launchGroup">launchGroup</a>*)></font></samp> <br><br><samp><font color="#800000"> <!ATTLIST extension</samp> <br><samp> point CDATA #REQUIRED</samp> <br><samp> id CDATA #IMPLIED</samp> |