Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2004-10-28 11:23:42 -0400
committerDarin Wright2004-10-28 11:23:42 -0400
commitf2d54ec1a0cc4460d80967a94248824937dced9c (patch)
tree94dfaccf167a181cd73d3746fba56b577a4e193f /org.eclipse.ui.console/plugin.xml
parent6f466e71f05c335c2d39d87d3b5928d8be614965 (diff)
downloadeclipse.platform.debug-f2d54ec1a0cc4460d80967a94248824937dced9c.tar.gz
eclipse.platform.debug-f2d54ec1a0cc4460d80967a94248824937dced9c.tar.xz
eclipse.platform.debug-f2d54ec1a0cc4460d80967a94248824937dced9c.zip
74123 - Console font problem
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
-rw-r--r--org.eclipse.ui.console/plugin.xml12
1 files changed, 0 insertions, 12 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml
index 8c3388fcf..6ed80d45a 100644
--- a/org.eclipse.ui.console/plugin.xml
+++ b/org.eclipse.ui.console/plugin.xml
@@ -57,18 +57,6 @@ M4 = Platform-specific fourth key
</keyBinding>
</extension>
<extension
- point="org.eclipse.ui.themes">
- <fontDefinition
- label="%ConsoleFontDefinition.label"
- defaultsTo="org.eclipse.jface.textfont"
- categoryId="org.eclipse.ui.workbenchMisc"
- id="org.eclipse.ui.console.ConsoleFont">
- <description>
- %ConsoleFontDefinition.description
- </description>
- </fontDefinition>
- </extension>
- <extension
point="org.eclipse.core.expressions.propertyTesters">
<propertyTester
namespace="org.eclipse.ui.console"

Back to the top