directory-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pierre-Arnaud Marcelot" ...@marcelot.net>
Subject Re: [Studio] Moving IDs in a plugin.properties file
Date Mon, 25 Aug 2008 11:30:10 GMT
Thanks Stefan.

I created a Jira for this issue:
    https://issues.apache.org/jira/browse/DIRSTUDIO-375

Regards,
Pierre-Arnaud


On Mon, Aug 25, 2008 at 12:29 PM, Stefan Seelmann <seelmann@apache.org>wrote:

> Hi,
>
> Pierre-Arnaud Marcelot wrote:
> > Hi all,
> >
> > I'd like to propose to move IDs of a plugin in a plugin.properties file.
> >
> > Eclipse plugins make a profusion use of IDs and we find these duplicated
> > in various files (java classes and several times in the same plugin.xml
> > file).
> > Using a plugin.properties file to store these informations would prevent
> > typo issues and would really help if we need to change an ID one day (a
> > change in one file would change all occurences).
> >
> > WDYT ?
>
> Yes, makes sense. It is really easier to maintain those IDs if they are
> located in a properties file. Go ahead.
>
> Kind Regards,
> Stefan
>

Mime
View raw message