Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2003-11-06 16:56:40 +0000
committerDarin Wright2003-11-06 16:56:40 +0000
commit1f33ebf355d5601b2dc5b88d64a8770790601573 (patch)
tree65efc884daf1cc6d08890abce7af260c378fe13e /org.eclipse.ui.console/plugin.xml
parent38107e4d494946e191a0db027a334dc537222f12 (diff)
downloadeclipse.platform.debug-1f33ebf355d5601b2dc5b88d64a8770790601573.tar.gz
eclipse.platform.debug-1f33ebf355d5601b2dc5b88d64a8770790601573.tar.xz
eclipse.platform.debug-1f33ebf355d5601b2dc5b88d64a8770790601573.zip
RCP migration
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r--org.eclipse.ui.console/plugin.xml58
1 files changed, 31 insertions, 27 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml
index a8c8a4e96..9e60d4c45 100644
--- a/org.eclipse.ui.console/plugin.xml
+++ b/org.eclipse.ui.console/plugin.xml
@@ -1,34 +1,37 @@
<?xml version="1.0" encoding="UTF-8"?>
<plugin
- id="org.eclipse.ui.console"
- name="%pluginName"
- version="3.0.0"
- provider-name="%providerName"
- class="org.eclipse.ui.console.ConsolePlugin">
+ id="org.eclipse.ui.console"
+ name="%pluginName"
+ version="3.0.0"
+ provider-name="%providerName"
+ class="org.eclipse.ui.console.ConsolePlugin">
- <runtime>
- <library name="console.jar">
- <export name="*"/>
- <packages prefixes="org.eclipse.ui.console, org.eclipse.ui.internal.console"/>
- </library>
- </runtime>
- <requires>
- <import plugin="org.eclipse.core.resources"/>
- <import plugin="org.eclipse.ui"/>
- <import plugin="org.eclipse.jface.text"/>
- <import plugin="org.eclipse.help"/>
+ <runtime>
+ <library name="console.jar">
+ <export name="*"/>
+ <packages prefixes="org.eclipse.ui.console, org.eclipse.ui.internal.console"/>
+ </library>
+ </runtime>
+ <requires>
+ <import plugin="org.eclipse.core.resources"/>
+ <import plugin="org.eclipse.ui"/>
+ <import plugin="org.eclipse.jface.text"/>
+ <import plugin="org.eclipse.help"/>
+ <import plugin="org.eclipse.ui.workbench.texteditor"/>
</requires>
- <extension
- point="org.eclipse.ui.views">
- <view
- name="%ConsoleView.name"
- icon="icons/full/cview16/console_view.gif"
- category="org.eclipse.ui"
- class="org.eclipse.ui.internal.console.ConsoleView"
- id="org.eclipse.ui.console.ConsoleView">
- </view>
- </extension>
- <extension
+
+
+ <extension
+ point="org.eclipse.ui.views">
+ <view
+ name="%ConsoleView.name"
+ icon="icons/full/cview16/console_view.gif"
+ category="org.eclipse.ui"
+ class="org.eclipse.ui.internal.console.ConsoleView"
+ id="org.eclipse.ui.console.ConsoleView">
+ </view>
+ </extension>
+ <extension
point="org.eclipse.ui.fontDefinitions">
<fontDefinition
label="%ConsoleFontDefinition.label"
@@ -39,4 +42,5 @@
</description>
</fontDefinition>
</extension>
+
</plugin>

Back to the top