Removes the "Show Line Numbers" option from the PHPEclipse preferences and sets the...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / preferences / PreferencesMessages.properties
index 4884b64..7a0486e 100644 (file)
@@ -80,6 +80,9 @@ NewJavaProjectPreferencePage.folders.error.invalidsrcname=Invalid source folder
 NewJavaProjectPreferencePage.folders.error.invalidbinname=Invalid output folder name: {0}
 NewJavaProjectPreferencePage.folders.error.invalidcp=Settings will result in an invalid build path. Check for nested folders.
 
+JavaEditorPreferencePage.appearanceTabLink=Some general preferences now live on the Eclipse <a href="org.eclipse.ui.preferencePages.GeneralTextEditor">Text Editors</a> pages.
+JavaEditorPreferencePage.appearanceTabTooltip=Jump to the Text Editors page
+
 JavaEditorPreferencePage.annotationsTab.title= Annotation&s
 JavaEditorPreferencePage.showQuickFixables= Indicate annotations solvable with &Quick Fix in vertical ruler
 JavaEditorPreferencePage.analyseAnnotationsWhileTyping= Analyze annotations &while typing
@@ -160,8 +163,6 @@ JavaEditorPreferencePage.colors=Synta&x
 JavaEditorPreferencePage.codeAssist= &Code Assist
 JavaEditorPreferencePage.empty_input=Empty input
 JavaEditorPreferencePage.invalid_input=''{0}'' is not a valid input.
-JavaEditorPreferencePage.showLineNumbers=Show lin&e numbers
-JavaEditorPreferencePage.lineNumberForegroundColor=Line number foreground
 JavaEditorPreferencePage.matchingBracketsHighlightColor2=Matching brackets highlight
 JavaEditorPreferencePage.currentLineHighlighColor=Current line highlight
 JavaEditorPreferencePage.printMarginColor2=Print margin