Fix file editor not properly scaling with DPI, this was not implemented yet.
authorBrecht Van Lommel <brechtvanlommel@pandora.be>
Tue, 12 Feb 2013 17:09:02 +0000 (17:09 +0000)
committerBrecht Van Lommel <brechtvanlommel@pandora.be>
Tue, 12 Feb 2013 17:09:02 +0000 (17:09 +0000)
commitdcea2800a74ea2112e3cda5b3ff3035752ecb7ee
tree20da197f111c83840a61d3dafbadbe018d088d2c
parente1419a5bea6fb9c4ad35689919833e9ce731edaa
Fix file editor not properly scaling with DPI, this was not implemented yet.
Still todo is high resolution file icons as they look a bit pixelated now.
source/blender/editors/space_file/file_draw.c
source/blender/editors/space_file/filesel.c