filename: path to the exported file. If the file extention is ".png" a png graphic device is opened, if the file extension is ".svg" a svg graphic device is opened.
width: width of the figure (pixels for png, inches for svg)
height: height of the figure (pixels for png, inches for svg)
res: resolution (for png)
...: further parameters for png or svg export
expandBB: fractional values to expand the bounding box with, in each direction (bottom, left, top, right)
theme: apply a theme (deprecated)
export: deprecated
Returns
No return value, a map file is initiated (in PNG or SVG format).