Hi Dani,

What PDE i18n tooling are you referring to?


The tooling that you can find when you right click on a plugin and select
plug-in tools [1].



> This was done on purpose after finding out that "real key names are an
> issue.


Can you recall what that issue was?



> 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?


Cheers,

Wim

[1]

[image: Inline image 2]
_______________________________________________
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

Reply via email to