From 27538b6c046ec85a78f0fe63668f65279aebf96d Mon Sep 17 00:00:00 2001 From: bananeweizen Date: Sat, 11 Feb 2006 19:13:47 +0000 Subject: [PATCH] remove name clash with JDT editor category --- net.sourceforge.phpeclipse/plugin.properties | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties index 449e2fb..820fa77 100644 --- a/net.sourceforge.phpeclipse/plugin.properties +++ b/net.sourceforge.phpeclipse/plugin.properties @@ -162,7 +162,7 @@ problemHoverDescription= Shows the description of the selected problem. # Action Definitions ########################################################################## -category.source.name=Source +category.source.name=PHP Source category.source.description= PHP Source Actions context.editingPHPSource.name= Editing PHP Source -- 1.7.1