diff options
| author | Andre Weinand | 2002-06-06 10:56:55 +0000 |
|---|---|---|
| committer | Andre Weinand | 2002-06-06 10:56:55 +0000 |
| commit | 38651543da2cfa8b72a5312216d6af2c125b6a71 (patch) | |
| tree | 2b97c31e35351e669e4e1f7f9953c9b9ca96ad11 /bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties | |
| parent | b3b23b3c5e2e1587fec182e610bf83560467f2a1 (diff) | |
| download | eclipse.platform.team-38651543da2cfa8b72a5312216d6af2c125b6a71.tar.gz eclipse.platform.team-38651543da2cfa8b72a5312216d6af2c125b6a71.tar.xz eclipse.platform.team-38651543da2cfa8b72a5312216d6af2c125b6a71.zip | |
four F3 fixes: #13949, #19013, #19216, #19371v20020606
Diffstat (limited to 'bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties')
| -rw-r--r-- | bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties b/bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties index 3a2d4eb00..18971a0d7 100644 --- a/bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties +++ b/bundles/org.eclipse.compare/plugins/org.eclipse.compare/plugin.properties @@ -65,7 +65,7 @@ ComparePreferencePage.name= Compare ComparePreferencePage.initiallyShowAncestorPane.label= Initially show a&ncestor pane
ComparePreferencePage.showPseudoConflicts.label= Show &pseudo conflicts
ComparePreferencePage.synchronizeScrolling.label= Synchronize &scrolling between panes in compare viewers
-ComparePreferencePage.textFont.label= Text Font
+ComparePreferencePage.textFont.label= Text &font
ComparePreferencePage.showMoreInfo.label= Show additional compare &information in the status line
ComparePreferencePage.preview.label= Preview:
ComparePreferencePage.ancestor.label= Common Ancestor
|