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 _______________________________________________ Plasma-devel mailing list Plasma-devel@kde.org https://mail.kde.org/mailman/listinfo/plasma-devel
