diff options
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r-- | org.eclipse.ui.console/plugin.xml | 9 |
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> |