mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-17 22:15:23 +02:00
Code Issues Wiki Activity

Text compare fonts.

Browse source
This commit is contained in:
Alain Magloire 2004-10-26 15:02:37 +00:00
parent a0bf3dad3b
commit 3d1becef8c
2 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
core/org.eclipse.cdt.ui/plugin.properties
View file

@ -263,3 +263,7 @@ foldingStructureProvidersExtensionPoint= Folding Structure Providers
defaultFoldingStructureProviderName= Default C Folding defaultFoldingStructureProviderName= Default C Folding
Folding.label= F&olding Folding.label= F&olding
# Merge fonts
cCompareFontDefiniton.label= C/C++ compare text font
cCompareFontDefiniton.description= The C/C++ compare text font is used by C/C++ compare/merge tools.

10
core/org.eclipse.cdt.ui/plugin.xml
View file

@ -521,6 +521,16 @@
%BuildConsoleFontDefinition.description %BuildConsoleFontDefinition.description
</description> </description>
</fontDefinition> </fontDefinition>
<fontDefinition
label="%cCompareFontDefiniton.label"
defaultsTo="org.eclipse.cdt.ui.editors.textfont"
categoryId="org.eclipse.compare.contentmergeviewer.TextMergeViewer"
id="org.eclipse.cdt.internal.ui.compare.CMergeViewer">
<description>
%cCompareFontDefiniton.description
</description>
</fontDefinition>
</extension> </extension>
<extension <extension
point="org.eclipse.ui.preferencePages"> point="org.eclipse.ui.preferencePages">