[Webkit-unassigned] [Bug 154007] [GTK] Toggle buttons are blurry with GTK+ 3.19
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Tue Feb 9 06:50:51 PST 2016
https://bugs.webkit.org/show_bug.cgi?id=154007
--- Comment #4 from Benjamin Otte <otte at gnome.org> ---
(In reply to comment #3)
> Company's suggestion was to do this:
>
> if (minWidth && minHeight) {
> minSize.setWidth(minWidth);
> minSize.setHeight(minHeight);
> }
>
To be 100% absolutely exact, it's
if (minWidth)
minSize.setWidth(minWidth);
if (minHeight)
minSize.setHeight(minHeight);
because that's what the code in https://git.gnome.org/browse/gtk+/tree/gtk/gtkbuiltinicon.c#n56 essentially does.
--
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20160209/a02d3bf0/attachment-0001.html>
More information about the webkit-unassigned
mailing list