[webkit-reviews] review requested: [Bug 142673] [GTK] Add settings to set font size in points, and deprecate the pixel size settings : [Attachment 325469] Patch

[bugzilla-daemon at webkit.org]

Gabriel Ivașcu <givascu at igalia.com> has asked  for review:
Bug 142673: [GTK] Add settings to set font size in points, and deprecate the
pixel size settings
https://bugs.webkit.org/show_bug.cgi?id=142673

Attachment 325469: Patch

https://bugs.webkit.org/attachment.cgi?id=325469&action=review




--- Comment #30 from Gabriel Ivașcu <givascu at igalia.com> ---
Created attachment 325469

  --> https://bugs.webkit.org/attachment.cgi?id=325469&action=review

Patch