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
