diff options
author | Curtis Windatt | 2007-04-03 17:22:17 +0000 |
---|---|---|
committer | Curtis Windatt | 2007-04-03 17:22:17 +0000 |
commit | a6a4467bb12aebc8a3081c2b336a7b3c50d0ec07 (patch) | |
tree | f5d0a9b4e712adb58a80468a969e1b8be13920fd /org.eclipse.debug.ui/plugin.xml | |
parent | 1d24ebe4f06f483c913fedb3d87faa20ddd02405 (diff) | |
download | eclipse.platform.debug-a6a4467bb12aebc8a3081c2b336a7b3c50d0ec07.tar.gz eclipse.platform.debug-a6a4467bb12aebc8a3081c2b336a7b3c50d0ec07.tar.xz eclipse.platform.debug-a6a4467bb12aebc8a3081c2b336a7b3c50d0ec07.zip |
Bug 176478 - [Registers View] Add font preference for registers view
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 78380ed0a..57708e654 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -2166,6 +2166,14 @@ M4 = Platform-specific fourth key %ConsoleFont.description </description> </fontDefinition> + <fontDefinition + categoryId="org.eclipse.debug.ui.presentation" + id="org.eclipse.debug.ui.VariableTextFont" + label="%VariableTextFontDefinition.label"> + <description> + %VariableTextFontDefinition.description + </description> + </fontDefinition> </extension> <extension point="org.eclipse.ui.console.consolePageParticipants"> |