getSVGoption(name)
getSVGoptions()
setSVGoptions(...)getSVGoption() returns at most one option setting.
getSVGoptions() returns all option settings.
setSVGoptions() returns a list of previous option settings
for the options that were changed.
id.sep which controls the separator used between the
grob name and the suffix number when gridSVG generates
id values for SVG elements.
gPath.sep which controls the separator used between
elements of a grid gPath.
vpPath.sep which controls the separator used between
elements of a grid vpPath.
grid.export