size() bug

There seems to be a bug in the size() method of processing.js. It resets the line width when it is called (or more accurately, doesn’t preserve it like it does for the fill and stroke colors).

This can be seen by taking the basic example from the front page, starting it, and then changing the size dynamically – the circle border becomes much thinner.

p.size = function size( aWidth, aHeight ) {
    var fillStyle = curContext.fillStyle;
    var strokeStyle = curContext.strokeStyle;
    var lineWidth = curContext.lineWidth;

    curElement.width = p.width = aWidth;
    curElement.height = p.height = aHeight;

    curContext.fillStyle = fillStyle;
    curContext.strokeStyle = strokeStyle;
    curContext.lineWidth = lineWidth;
};