diff options
Diffstat (limited to 'org.eclipse.ui.console/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.console/plugin.properties | 3 |
1 files changed, 0 insertions, 3 deletions
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 |