plot.py 文件源码

def savefig(plot, filename, width = None):
  """Export plot to file"""
  exporter = pgexp.ImageExporter(plot.img);
  if width is not None:
    exporter.parameters()['width'] = width   # (note this also affects height parameter)

  # save to file
  exporter.export(filename)