diff options
| author | Dani Megert | 2004-05-06 16:29:49 +0000 |
|---|---|---|
| committer | Dani Megert | 2004-05-06 16:29:49 +0000 |
| commit | a1f0e94c30823544c8756e0b9abb50ddf78d62a4 (patch) | |
| tree | 621b9d74c6db40d2d462ea96d5a73680e504c6f2 /org.eclipse.ui.editors/plugin.properties | |
| parent | 8b2cae13152bb6a4fff86cff8146601062060744 (diff) | |
| download | eclipse.platform.text-a1f0e94c30823544c8756e0b9abb50ddf78d62a4.tar.gz eclipse.platform.text-a1f0e94c30823544c8756e0b9abb50ddf78d62a4.tar.xz eclipse.platform.text-a1f0e94c30823544c8756e0b9abb50ddf78d62a4.zip | |
Create general Quick Diff preference page
Diffstat (limited to 'org.eclipse.ui.editors/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index 05c56d72b7f..eaf6382a735 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -40,6 +40,7 @@ ActionDefinition.quickDiff.description= Toggles display of quick diff informatio Editors.DefaultTextEditor= Text Editor PreferencePages.TextEditor= Text Editor PreferencePages.Annotations= Annotations +PreferencePages.QuickDiff= Quick Diff lastSaveReferenceProvider.label= Version on &Disk |