[Webkit-unassigned] [Bug 17122] [GTK] Bad font default settings

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=17122


christian at imendio.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #25368|                            |review?
               Flag|                            |




------- Comment #2 from christian at imendio.com  2008-11-21 18:08 PDT -------
Created an attachment (id=25368)
 --> (https://bugs.webkit.org/attachment.cgi?id=25368&action=view)
Use default font size 12 instead of 10

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.


-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.