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.properties | 3 ---
 1 file changed, 3 deletions(-)

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

diff --git a/org.eclipse.ui.console/plugin.properties b/org.eclipse.ui.console/plugin.properties
index 3bfa3a524..9a93d9b3f 100644
--- a/org.eclipse.ui.console/plugin.properties
+++ b/org.eclipse.ui.console/plugin.properties
@@ -16,9 +16,6 @@ ConsoleView.name=Console
 ViewCommand.consoleView.name=Console
 ViewCommand.consoleView.description=Show the Console view
 
-ConsoleFontDefinition.description= The console text font is used by the generic console
-ConsoleFontDefinition.label= Console Text Font
-
 ConsolePatternMatchListenerName= Console Pattern Match Listeners
 ConsolePageParticipantName= Console Page Participants
 
-- 
cgit v1.2.1