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
