diff options
author | Kevin Barnes | 2004-10-26 21:28:55 +0000 |
---|---|---|
committer | Kevin Barnes | 2004-10-26 21:28:55 +0000 |
commit | d36edb44592cf1942ddc326841736fe2a72a7d59 (patch) | |
tree | 47e3a90bdfc3e87fd8e1a1f1e361385e723872ff /org.eclipse.ui.console/plugin.xml | |
parent | ddd21e5bdb91c9a824be256a7085fe7cfe9e0452 (diff) | |
download | eclipse.platform.debug-d36edb44592cf1942ddc326841736fe2a72a7d59.tar.gz eclipse.platform.debug-d36edb44592cf1942ddc326841736fe2a72a7d59.tar.xz eclipse.platform.debug-d36edb44592cf1942ddc326841736fe2a72a7d59.zip |
Bug 74444 - Unable to paste into Java stack trace console
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r-- | org.eclipse.ui.console/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index a78f4f2a8..8c3388fcf 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -72,7 +72,7 @@ M4 = Platform-specific fourth key point="org.eclipse.core.expressions.propertyTesters"> <propertyTester namespace="org.eclipse.ui.console" - type="org.eclipse.ui.console.IOConsole" + type="org.eclipse.ui.console.IConsole" class="org.eclipse.ui.internal.console.ConsoleTypePropertyTester" properties="consoleTypeTest" id="org.eclipse.ui.console.ConsoleTypePropertyTester"/> |