Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Swanson2003-09-12 18:00:56 +0000
committerDarin Swanson2003-09-12 18:00:56 +0000
commitda3fa8a02b788da7915ffe18135656fca89ad72d (patch)
tree08293cfd76ae5066ea6f19b7646fac7fd5764814 /org.eclipse.ui.console/plugin.xml
parent7934f747b45a68c2dfe5304311b6126bbff6748e (diff)
downloadeclipse.platform.debug-da3fa8a02b788da7915ffe18135656fca89ad72d.tar.gz
eclipse.platform.debug-da3fa8a02b788da7915ffe18135656fca89ad72d.tar.xz
eclipse.platform.debug-da3fa8a02b788da7915ffe18135656fca89ad72d.zip
Bug 37263 - Support for generic console
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r--org.eclipse.ui.console/plugin.xml54
1 files changed, 38 insertions, 16 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml
index 753763e47..5ee5968a1 100644
--- a/org.eclipse.ui.console/plugin.xml
+++ b/org.eclipse.ui.console/plugin.xml
@@ -1,21 +1,43 @@
<?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.internal.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.apache.xerces"/>
- <import plugin="org.eclipse.core.resources"/>
- <import plugin="org.eclipse.ui"/>
- <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.apache.xerces"/>
+ <import plugin="org.eclipse.core.resources"/>
+ <import plugin="org.eclipse.ui"/>
+ <import plugin="org.eclipse.jface.text"/>
+ <import plugin="org.eclipse.help"/>
</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
+ point="org.eclipse.ui.fontDefinitions">
+ <fontDefinition
+ label="%ConsoleFontDefinition.label"
+ defaultsTo="org.eclipse.jface.textfont"
+ id="org.eclipse.ui.console.ConsoleFont">
+ <description>
+ %ConsoleFontDefinition.description
+ </description>
+ </fontDefinition>
+ </extension>
</plugin>

Back to the top