Rename HTML editor to Smarty editor

[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties

diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties
index 4e2f6b2..87909f1 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.properties
+++ b/net.sourceforge.phpeclipse/plugin.properties
@@ -40,6 +40,7 @@ todoTaskPrefName= Task Tags
 templatePageName= Templates
 spellingPrefName= Spelling
 codeAssistPageName= Code Assist
+editorMarkOccurrencesPage= Mark Occurrences
 
 #
 # Extension point names
@@ -374,7 +375,7 @@ OccurrenceAnnotation.label= PHP Marker Occurrences
 
 phpEditorFontDefiniton.label= PHP Editor Text Font
 phpEditorFontDefintion.description= The PHP editor text font is used by PHP editors.
-#--- filter 
+#--- filter
 HideImportDeclaration.label= Import declarations
 HideImportDeclaration.description= Hides all import declarations