[webkit-reviews] review requested: [Bug 14998] Full page zooming support : [Attachment 16216] General clean ups, bug fixed for resize events

[bugzilla-daemon at webkit.org]

George Wright <george.wright at collabora.co.uk> has asked  for review:
Bug 14998: Full page zooming support
http://bugs.webkit.org/show_bug.cgi?id=14998

Attachment 16216: General clean ups, bug fixed for resize events
http://bugs.webkit.org/attachment.cgi?id=16216&action=edit

------- Additional Comments from George Wright <george.wright at collabora.co.uk>
I am now casting to an int wherever I transform a size by multiplying it with a
scale factor.

Bug fixed which didn't resize the window properly when
webkit_gtk_page_set_scale_factor was called, thus resulting in a resized page
in a viewport that was the wrong size.

Some artifacting seen due to antialiasing so increased the expose event
handler's cliprect to be 2 pixels larger all round.

Added an API method to get the current scale factor.