directory-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pierre-Arnaud Marcelot" ...@marcelot.net>
Subject [Studio] Moving IDs in a plugin.properties file
Date Mon, 25 Aug 2008 10:05:40 GMT
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 ?

Regards,
Pierre-Arnaud

Mime
View raw message