[webkit-reviews] review requested: [Bug 17122] [GTK] Bad font default settings : [Attachment 25368] Use default font size 12 instead of 10

[bugzilla-daemon at webkit.org]

Christian Dywan <christian at imendio.com> has asked  for review:
Bug 17122: [GTK] Bad font default settings
https://bugs.webkit.org/show_bug.cgi?id=17122

Attachment 25368: Use default font size 12 instead of 10
https://bugs.webkit.org/attachment.cgi?id=25368&action=review

------- Additional Comments from Christian Dywan <christian at imendio.com>
This is a tiny modification, defining the default font size as 12 instead of
10, so that in the usual case the font comes very close to the default on other
platforms.

I ponder hacking up a new setting "force-96-dpi", which would still be disabled
by default but instead web browsers and clients displaying web pages would enab
le it and also provide an according preference. The reasoning being that this
historical quirk is only useful for compatibility and hardly helping usability
if the user actually has a considerably high resolved screen.
I'd like some kind of feedback from a reviewer beforehand, though. The lack of
interest in API additions isn't exactly motivating lately.