The shape to draw.
The view, as in operations.hiddenLines: the eye sits on the side the normal points to and
looks back along it, and the drawing's x runs along the direction.
OptionaldrawWhen true, the edges other faces cover are drawn too, dashed.
OptionalprecisionHow far the straight segments that trace a curved edge may stray from it, in model units; a smaller value follows curves more closely and makes a bigger file.
OptionalfileThe name the downloaded file gets.
OptionaltryWhen true, a browser download of the file is started where that is possible; the kernel itself only returns the text.
A shape, a view and file options for
io.saveShapeSvg, which draws the edges the view sees as an SVG drawing, and the edges other faces cover dashed when asked.