X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties index 05721fa..4eefa3d 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/PHPUIMessages.properties @@ -236,7 +236,7 @@ NewJavaProjectPreferencePage.folders.error.invalidbinname=Invalid output folder NewJavaProjectPreferencePage.error.decode=Error while decoding JRE entry PHPEditorPreferencePage.updatesOnNextChangeIinEditor.label=Note: Updates on next change in the editor -PHPEditorPreferencePage.problemIndicationTab.title=Problem Indi&cation +PHPEditorPreferencePage.annotationsTab.title= Annotation&s PHPEditorPreferencePage.showQuickFixables=&Indicate problems solvable with Quick Fix in vertical ruler PHPEditorPreferencePage.description=PHP Editor settings: PHPEditorPreferencePage.font=Text Font: