diff options
-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 |