On Saturday 2012-12-22 09:41 -0600, Allan wrote: > For a long time, I never understood how that worked for you. > I have same problem here, that just about all websites uses too small fonts. > When I tried that setting 1.1-1.9 made no difference, but 2 did INDEED :-) > > Today it just stroke me to try something odd, so I tried 1,1-1,9 instead. > Now, I see your results, and this setting is indeed very usefull for me too > now. > > However, this must be a major bug in Moz, as I assume the difference here > is because of our country settings. Here in Denmark, we do indeed use ',' > as the separator, where US uses '.' > > I can't really imagine, that every numeric setting in Moz has to be translated > for a Danish user (and a lot of other countries too I guess) - and now I do > wonder > how many other setting with a decimal part that this might affect. > > Any ideas, why this is so ?
This is a bug in this code: http://hg.mozilla.org/mozilla-central/file/6e61c4a26591/widget/xpwidgets/nsBaseWidget.cpp#l380 which was also reported in: https://bugzilla.mozilla.org/show_bug.cgi?id=816485 The basic problem is that the C language has a bunch of functions in its standard library for parsing floats (strtod, atof) that are locale-specific, but their names don't suggest or warn about the locale-specific behavior. Thus it's a very common programmer mistake in C to use locale-sensitive conversion of strings to floats when locale-insensitive was intended. -David -- 𝄞 L. David Baron http://dbaron.org/ 𝄂 𝄢 Mozilla http://www.mozilla.org/ 𝄂 _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
