On Mon, Mar 08, 2004 at 02:08:08AM +0100, Klaus Heinz wrote:
> For a key labeled "decimal separator" there might be an issue what
> symbol to produce on the screen, dependent on the local preferences
> (eg. comma vs. dot as decimal separator) but I don't see this here

Yeah, and while your change makes "stupid" apps do the right thing
by pure chance now, it prevents "clever" apps from doing the right thing.

> If you're really unhappy with the change revert it; my heart isn't
> attached to that key :-) 

No, no problem with the change right now, but I think it points to a deeper
problem which should be discussed elsewhere.

Thanks for explaining the reasoning behind it.

Martin