From f2d54ec1a0cc4460d80967a94248824937dced9c Mon Sep 17 00:00:00 2001
From: Darin Wright
Date: Thu, 28 Oct 2004 15:23:42 +0000
Subject: 74123 - Console font problem

---
 org.eclipse.ui.console/plugin.xml | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'org.eclipse.ui.console/plugin.xml')

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
@@ -55,18 +55,6 @@ M4 = Platform-specific fourth key
             commandId="org.eclipse.ui.console.ConsoleView"
             keyConfigurationId="org.eclipse.ui.defaultAcceleratorConfiguration">
       </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">
-- 
cgit v1.2.1