diff options
| author | Darin Swanson | 2003-09-12 18:00:56 +0000 |
|---|---|---|
| committer | Darin Swanson | 2003-09-12 18:00:56 +0000 |
| commit | da3fa8a02b788da7915ffe18135656fca89ad72d (patch) | |
| tree | 08293cfd76ae5066ea6f19b7646fac7fd5764814 /org.eclipse.ui.console/plugin.properties | |
| parent | 7934f747b45a68c2dfe5304311b6126bbff6748e (diff) | |
| download | eclipse.platform.debug-da3fa8a02b788da7915ffe18135656fca89ad72d.tar.gz eclipse.platform.debug-da3fa8a02b788da7915ffe18135656fca89ad72d.tar.xz eclipse.platform.debug-da3fa8a02b788da7915ffe18135656fca89ad72d.zip | |
Bug 37263 - Support for generic console
Diffstat (limited to 'org.eclipse.ui.console/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.console/plugin.properties | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/plugin.properties b/org.eclipse.ui.console/plugin.properties index b6439b0a5..93f0ceef3 100644 --- a/org.eclipse.ui.console/plugin.properties +++ b/org.eclipse.ui.console/plugin.properties @@ -10,4 +10,8 @@ ############################################################################### pluginName=Console -providerName=Eclipse.org
\ No newline at end of file +providerName=Eclipse.org +ConsoleView.name=Console + +ConsoleFontDefinition.description= The console text font is used by the generic console +ConsoleFontDefinition.label= Console Text Font
\ No newline at end of file |