diff options
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 9fa0055fdf7..05c56d72b7f 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -39,6 +39,7 @@ ActionDefinition.quickDiff.description= Toggles display of quick diff informatio Editors.DefaultTextEditor= Text Editor PreferencePages.TextEditor= Text Editor +PreferencePages.Annotations= Annotations lastSaveReferenceProvider.label= Version on &Disk |