[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 22:56:25 PST 2016
https://bugs.webkit.org/show_bug.cgi?id=154007
Carlos Garcia Campos <cgarcia at igalia.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cgarcia at igalia.com
--- Comment #5 from Carlos Garcia Campos <cgarcia at igalia.com> ---
(In reply to comment #4)
> (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.
Which is exactly what the patch 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/20160210/43933a9b/attachment-0001.html>
More information about the webkit-unassigned
mailing list