setdotsize dimen>

Stellt den Punktdurchmesser auf dimen>.