>> This was done on purpose after finding out that "real key names are an issue. > Can you recall what that issue was?
Memory and performance due to long keys. > This can be changed by the user if desired. > By typing over the key name right? Or is there a setting that let's you generate alternative keys. If not, would you consider accepting a contribution that adds some > additional logic to the key generation? Yes, no, and no. Dani
_______________________________________________ cross-project-issues-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
