Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.ui.console')
-rw-r--r--org.eclipse.ui.console/plugin.xml5
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

Back to the top