On Sat, 22 Dec 2012 15:41:47 UTC, "Allan" <all...@warpspeed.dyndns.dk> wrote:
> On Wed, 1 Jun 2011 11:22:13 UTC, "Alex Taylor" <mail...@reply.to.address> > wrote: > > > On Tue, 31 May 2011 12:44:20 UTC, Felix Miata > > <ugaddabkidding.due2...@dev.nul> > > wrote: > > > > > > As if I wasn't squinting enough at all these braindead pages with their > > > > hard-coded point sizes already. Now it's going to be even worse. > > > > Please tell me I can override this idiocy somehow. > > > > > > You can try fiddling with layout.css.devPixelsPerPx via user.js or > > > about:config. Whether you'll be pleased with its effects????????? > > > > Ah, now that is useful! Yes, even just upping it to 1.1 makes a world > > of difference. Thanks! > > 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 ? Just tested on Win7 - same problem, requires ',' here to work -- Allan. It is better to close your mouth, and look like a fool, than to open it, and remove all doubt. _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
