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 <[EMAIL PROTECTED]>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
>
