On Tuesday, January 28, 2014 11:33:31 Marco Martin wrote: > one thing that should still be done, is to remove setDevicePixelRatio > (would be an updateDevicePixelRatio() slot without parameters) Done. -- sebas http://www.kde.org | http://vizZzion.org | GPG Key ID: 9119 0EF9