- modified build.properties file
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / PHPUIMessages.properties
index 05721fa..4eefa3d 100644 (file)
@@ -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: