diff options
author | Darin Wright | 2004-10-28 15:23:42 +0000 |
---|---|---|
committer | Darin Wright | 2004-10-28 15:23:42 +0000 |
commit | f2d54ec1a0cc4460d80967a94248824937dced9c (patch) | |
tree | 94dfaccf167a181cd73d3746fba56b577a4e193f /org.eclipse.ui.console/plugin.xml | |
parent | 6f466e71f05c335c2d39d87d3b5928d8be614965 (diff) | |
download | eclipse.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.xml | 12 |
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" |