[GTK] Add support for HiDPI icons
authorcarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 29 May 2014 16:05:38 +0000 (16:05 +0000)
committercarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 29 May 2014 16:05:38 +0000 (16:05 +0000)
commit7e219122c3f70c57bb04ef1931105cbc4bd72c14
tree670413088fadc296bddee67dab226960ad4d9363
parentc4a333828ee67d5cc8a71f65bd0ef7530d4e5980
[GTK] Add support for HiDPI icons
https://bugs.webkit.org/show_bug.cgi?id=133377

Reviewed by Martin Robinson.

Source/WebCore:
Use the GTK+ missing icon at 16 or 32 size depending on the device
scale factor.

* platform/graphics/gtk/ImageGtk.cpp:
(WebCore::loadMissingImageIconFromTheme):
(WebCore::Image::loadPlatformResource):

Source/WebKit2:
* PlatformGTK.cmake: Compile also the @2x versions for the builtin icons.

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@169446 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/platform/graphics/gtk/ImageGtk.cpp
Source/WebKit2/ChangeLog
Source/WebKit2/PlatformGTK.cmake