Function scalePixels

docs/app/js/sanddance-app.js:59425–59443

(pixel, ratio, width, height, yInvert)

    return useDevicePixels ? windowRatio : 1;
}
function scalePixels(pixel, ratio, width, height, yInvert) {
    var x = scaleX(pixel[0], ratio, width);
    var y = scaleY(pixel[1], ratio, height, yInvert);
    var t = scaleX(pixel[0] + 1, ratio, width);
    var xHigh = t === width - 1 ? t : t - 1;
    t = scaleY(pixel[1] + 1, ratio, height, yInvert);
    var yHigh;
    if (yInvert) {
        t = t === 0 ? t : t + 1;
        yHigh = y;
        y = t;
    } else yHigh = t === height - 1 ? t : t - 1;
    return {
        x: x,
        y: y,
        width: Math.max(xHigh - x + 1, 1),
        height: Math.max(yHigh - y + 1, 1)
    };
}
function scaleX(x, ratio, width) {
    var r = Math.min(Math.round(x * ratio), width - 1);
    return r;