Details
-
Task
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
Description
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 to maintain the ID or if we need to change an ID one day (a change in one file would change all occurences).