sets the stroke dash size
$.shape.strokeDash
Examples
function update() {
$.shape.strokeDash = 2;
$.colour.stroke="black";
$.colour.fill="white";
$.shape.oval(
$.w/2, // x position
$.h/2, // y position
30, // width
30 // height
);
$.shape.strokeDash = 5;
$.colour.stroke="black";
$.colour.fill="white";
$.shape.rectangle(
$.w/2, // x position
$.h/2+40, // y position
30, // width
30 // height
);
}