From 3f7602da899847364fc8febe109d641db808012b Mon Sep 17 00:00:00 2001 From: axelcl Date: Mon, 28 Mar 2005 16:28:20 +0000 Subject: [PATCH] misc --- net.sourceforge.phpeclipse/plugin.properties | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties index ae1bd78..50d4a2f 100644 --- a/net.sourceforge.phpeclipse/plugin.properties +++ b/net.sourceforge.phpeclipse/plugin.properties @@ -147,8 +147,8 @@ PHPWorkingSetPage.name= PHP sourceHover= Source sourceHoverDescription= Shows the source of the selected element. -javadocHover= Javadoc -javadocHoverDescription= Shows the Javadoc of the selected element. +javadocHover= PHPdoc +javadocHoverDescription= Shows the PHPdoc of the selected element. sequentialHover= Combined Hover sequentialHoverDescription= Tries the hovers in the sequence listed in the table below this one and uses the one which fits best for the selected element and the current context. annotationHover= Annotation Description @@ -166,7 +166,7 @@ category.source.description= PHP Source Actions context.editingPHPSource.name= Editing PHP Source context.editingPHPSource.description= Editing PHP Source Context -scope.javaEditor.name=Java Editor +scope.javaEditor.name=PHP Editor ########################################################################## # Action Definitions @@ -407,8 +407,8 @@ Program.externalTools = PHP Program OccurrenceAnnotation.label= PHP Marker Occurrences -phpEditorFontDefiniton.label= Java Editor Text Font -phpEditorFontDefintion.description= The Java editor text font is used by Java editors. +phpEditorFontDefiniton.label= PHP Editor Text Font +phpEditorFontDefintion.description= The PHP editor text font is used by PHP editors. #--- filter HideImportDeclaration.label= Import declarations HideImportDeclaration.description= Hides all import declarations -- 1.7.1