[webkit-reviews] review granted: [Bug 17122] [GTK] Bad font default settings : [Attachment 25368] Use default font size 12 instead of 10
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Sat Nov 22 19:08:45 PST 2008
Holger Freyther <zecke at selfish.org> has granted Christian Dywan
<christian at imendio.com>'s request 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 Holger Freyther <zecke at selfish.org>
> - 5, G_MAXINT, 10,
> + 5, G_MAXINT, 12,
> flags));
Okay, after the previous discussion it seems that we want that. A 96dpi config
option will be much appreciated, we will need it for the regression testing.
More information about the webkit-reviews
mailing list