diff options
| author | Andre Weinand | 2003-03-04 15:23:39 +0000 |
|---|---|---|
| committer | Andre Weinand | 2003-03-04 15:23:39 +0000 |
| commit | ae7632b413f9bf5c771ab9a6861a13010db7c6c1 (patch) | |
| tree | d3b81ae1d09704a37c824fe79d6f7522bc7a5735 /bundles/org.eclipse.compare/plugin.xml | |
| parent | 55797447ffa5b37431454961d4395a1d64036909 (diff) | |
| download | eclipse.platform.team-ae7632b413f9bf5c771ab9a6861a13010db7c6c1.tar.gz eclipse.platform.team-ae7632b413f9bf5c771ab9a6861a13010db7c6c1.tar.xz eclipse.platform.team-ae7632b413f9bf5c771ab9a6861a13010db7c6c1.zip | |
work on #27405
Diffstat (limited to 'bundles/org.eclipse.compare/plugin.xml')
| -rw-r--r-- | bundles/org.eclipse.compare/plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bundles/org.eclipse.compare/plugin.xml b/bundles/org.eclipse.compare/plugin.xml index 88990ae9b..fcaa0ea81 100644 --- a/bundles/org.eclipse.compare/plugin.xml +++ b/bundles/org.eclipse.compare/plugin.xml @@ -51,6 +51,17 @@ <!-- Extensions --> + <extension point="org.eclipse.ui.fontDefinitions"> + <fontDefinition + label="%compareFontDefiniton.label" + id="org.eclipse.compare.TextFont" + defaultsTo="org.eclipse.jface.textfont"> + <description> + %compareFontDefiniton.description + </description> + </fontDefinition> + </extension> + <extension point="org.eclipse.core.resources.markers" id="rejectedPatchMarker" name="%rejectedPatchMarker.name"> <super type="org.eclipse.core.resources.taskmarker"/> |