* Exports graphics as SVG.
*/
private void exportGfx() {
JFileChooser fileChooser = new JFileChooser();
fileChooser.setDialogTitle(getResourceString("dialog.exportgfx.title"));
FileNameExtensionFilter svgFilter = new FileNameExtensionFilter(
"Scalable Vector Graphics file (*.svg)", "svg");
FileNameExtensionFilter pngFilter = new FileNameExtensionFilter(
"Portable Network Graphics file (*.png)", "png");
fileChooser.addChoosableFileFilter(svgFilter);
fileChooser.addChoosableFileFilter(pngFilter);
fileChooser.setAcceptAllFileFilterUsed(false);
if (fileChooser.showSaveDialog(this) == JFileChooser.APPROVE_OPTION) {