diff options
| author | Darin Swanson | 2004-03-31 19:30:20 +0000 |
|---|---|---|
| committer | Darin Swanson | 2004-03-31 19:30:20 +0000 |
| commit | 9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6 (patch) | |
| tree | 480ca14daa771ede129f321749a9e6f1255cb70b /org.eclipse.ui.console/plugin.xml | |
| parent | 52305b3064650f4f04b46287a4bae7dcb4299ebb (diff) | |
| download | eclipse.platform.debug-9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6.tar.gz eclipse.platform.debug-9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6.tar.xz eclipse.platform.debug-9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6.zip | |
Bug 56035 - Console text font should be moved to Workbench Appearance
Diffstat (limited to 'org.eclipse.ui.console/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.console/plugin.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/org.eclipse.ui.console/plugin.xml b/org.eclipse.ui.console/plugin.xml index 3bf58b53f..db7e2bd63 100644 --- a/org.eclipse.ui.console/plugin.xml +++ b/org.eclipse.ui.console/plugin.xml @@ -33,11 +33,12 @@ id="org.eclipse.ui.console.ConsoleView"> </view> </extension> - <extension - point="org.eclipse.ui.fontDefinitions"> + <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 |