Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.debug.core')
-rw-r--r--org.eclipse.debug.core/schema/launchOptions.exsd19
1 files changed, 11 insertions, 8 deletions
diff --git a/org.eclipse.debug.core/schema/launchOptions.exsd b/org.eclipse.debug.core/schema/launchOptions.exsd
index f3527f010..f9029829a 100644
--- a/org.eclipse.debug.core/schema/launchOptions.exsd
+++ b/org.eclipse.debug.core/schema/launchOptions.exsd
@@ -91,14 +91,17 @@ Launch options are used as modifiers when executing a launch configuration.
<meta.section type="examples"/>
</appInfo>
<documentation>
- &lt;extension
- point=&quot;org.eclipse.debug.core.launchOptions&quot;&gt;
- &lt;launchOption
- id=&quot;org.eclipse.debug.core.debug&quot;
- label=&quot;Debug&quot;
- option=&quot;debug&quot;&gt;
- &lt;/launchOption&gt;
- &lt;/extension&gt;
+ &lt;p&gt;
+&lt;pre&gt;
+ &lt;extension point=&quot;org.eclipse.debug.core.launchOptions&quot;&gt;
+ &lt;launchOption
+ id=&quot;org.eclipse.debug.core.debug&quot;
+ label=&quot;Debug&quot;
+ option=&quot;debug&quot;&gt;
+ &lt;/launchOption&gt;
+ &lt;/extension&gt;
+&lt;/pre&gt;
+&lt;/p&gt;
</documentation>
</annotation>

Back to the top