Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
| Lars Gullik Bjønnes wrote:
>> And getGuiName should never be used for any comparisons... just to be
>> displayed. So imo the translation should be done there...
>>
>> -... but... if the change to make that happen is "largish" then I'd go
>> with this proposed change and try to fix it proper in 1.5.
>
| Not at all. It's not more than the attached.
This looks good. It is verified (i.e. you have tested it) that this
works for all frontends and fix the original problem that triggered
this, then please commit it.
--
Lgb
