diff options
author | Darin Wright | 2003-11-06 16:56:40 +0000 |
---|---|---|
committer | Darin Wright | 2003-11-06 16:56:40 +0000 |
commit | 1f33ebf355d5601b2dc5b88d64a8770790601573 (patch) | |
tree | 65efc884daf1cc6d08890abce7af260c378fe13e /org.eclipse.ui.console/plugin.xml | |
parent | 38107e4d494946e191a0db027a334dc537222f12 (diff) | |
download | eclipse.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.xml | 58 |
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> |