[Webkit-unassigned] [Bug 212898] [GTK] MiniBrowser: stop using GtkToolbar
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Fri Jun 12 01:27:54 PDT 2020
https://bugs.webkit.org/show_bug.cgi?id=212898
--- Comment #3 from Carlos Garcia Campos <cgarcia at igalia.com> ---
(In reply to Adrian Perez from comment #2)
> Comment on attachment 401332 [details]
> Patch
>
> View in context:
> https://bugs.webkit.org/attachment.cgi?id=401332&action=review
>
> > Tools/MiniBrowser/gtk/BrowserWindow.c:473
> > + return webkit_web_view_get_zoom_level(webView) != 1.0;
>
> Comparing floating point numbers is usually a bad idea, due to rounding
> errors
> and whatnot. Probably not much of an issue here, but the safest would be
> rounding
> to the nearest integer and comparing that:
>
> return lrint(webkit_web_view_get_zoom_level(webView)) == 1;
>
> No strong opinion, though. Feel free to leave the code as-is if you prefer.
I don't think it's a problem in this case because 1.0 is set when the load completes, which is what we want to check here.
--
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20200612/6da3d3a3/attachment.htm>
More information about the webkit-unassigned
mailing list