[GTK] Toggle buttons are blurry with GTK+ 3.19
authorcarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 10 Feb 2016 06:58:44 +0000 (06:58 +0000)
committercarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Wed, 10 Feb 2016 06:58:44 +0000 (06:58 +0000)
commit431bf94e12ab58b9a928bb314d33bc89db40d341
tree77cd45bf465b255836571b873e5dd5a3dc4ff300
parent81215f3df50b02772a91fd2a39ea726c0dcebb22
[GTK] Toggle buttons are blurry with GTK+ 3.19
https://bugs.webkit.org/show_bug.cgi?id=154007

Reviewed by Michael Catanzaro.

Use min-width/min-height style properties when GTK+ >= 3.19.7 to
get the size of toggle buttons.

* rendering/RenderThemeGtk.cpp:
(WebCore::setToggleSize):
(WebCore::paintToggle):

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@196364 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/rendering/RenderThemeGtk.cpp