Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKevin Barnes2004-09-08 21:51:19 +0000
committerKevin Barnes2004-09-08 21:51:19 +0000
commit8320e1987a00cf46cc94adfaf8699648d7059882 (patch)
tree49078930f8795cf77f7b2abf07b05b07a9c018bc /org.eclipse.ui.console/plugin.xml
parent799bebbe83dfb9161b2a59f08780428560c7e75e (diff)
downloadeclipse.platform.debug-8320e1987a00cf46cc94adfaf8699648d7059882.tar.gz
eclipse.platform.debug-8320e1987a00cf46cc94adfaf8699648d7059882.tar.xz
eclipse.platform.debug-8320e1987a00cf46cc94adfaf8699648d7059882.zip
Bug 56252 - [Generic Console] no support for enabled/disabled lifecycles
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r--org.eclipse.ui.console/plugin.xml9
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml
index e67dc77d9..23ccc3a38 100644
--- a/org.eclipse.ui.console/plugin.xml
+++ b/org.eclipse.ui.console/plugin.xml
@@ -68,5 +68,14 @@ M4 = Platform-specific fourth key
</description>
</fontDefinition>
</extension>
+ <extension
+ point="org.eclipse.core.expressions.propertyTesters">
+ <propertyTester
+ namespace="org.eclipse.ui.console"
+ type="org.eclipse.ui.console.IOConsole"
+ class="org.eclipse.ui.internal.console.ConsoleTypePropertyTester"
+ properties="consoleTypeTest"
+ id="org.eclipse.ui.console.ConsoleTypePropertyTester"/>
+ </extension>
</plugin>

Back to the top