Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Swanson2004-03-31 19:30:20 +0000
committerDarin Swanson2004-03-31 19:30:20 +0000
commit9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6 (patch)
tree480ca14daa771ede129f321749a9e6f1255cb70b /org.eclipse.ui.console/plugin.xml
parent52305b3064650f4f04b46287a4bae7dcb4299ebb (diff)
downloadeclipse.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.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