>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: | Lars> What Michael did is purely cosmetic (no code change). It does Lars> not | change anything about behaviour. Lars> I realize that, but am still a bit "queasy" about it. My take on it is that it is the right thing to do for 1.3.x: no risk, no code change. This patch changes _nothing_ to the current situation, except that some translations now work. For 1.4.x, the situation might be different, but I would not do big changes in identifiers vs UI now unless you have a very good idea of what we should do and how useful it could be. I think we can live with the status quo for 1.4.x, and change to a cleaner dichotomy when the need arises (maybe in 1.5.x). JMarc
