private void SaveSVG()
{
string fileName = FileUtil.GetSaveFileName(FileUtil.SVGExtension);
if (string.IsNullOrEmpty(fileName) == false && guiDrawing != null)
{
String svgTxt = null;
lock (guiDrawing)
{
svgTxt = guiDrawing.toXML();
}
if (svgTxt != null)
{
using (StreamWriter file = new StreamWriter(fileName)) {
file.WriteLine(svgTxt);
}
}
}
}
