view etc/mplayer32x32.png @ 37058:a6b7e61e4af1

Disable system DPI scaling on Windows. We scale the video just fine (or rather, better) ourselves. The GUI might be in trouble here though, since it does not want its video to be scaled by the OS but it also isn't DPI aware either...
author reimar
date Sat, 19 Apr 2014 08:30:17 +0000
parents 6c6fb701fa8e
children
line wrap: on
line source

(binary:image/png)