/** Shows a file dialog and saves drawing. */
  public void promptSaveAs() {
    toolDone();
    JFileChooser saveDialog = createSaveFileChooser();
    getStorageFormatManager().registerFileFilters(saveDialog);

    if (saveDialog.showSaveDialog(this) == JFileChooser.APPROVE_OPTION) {
      StorageFormat foundFormat =
          getStorageFormatManager().findStorageFormat(saveDialog.getFileFilter());
      if (foundFormat != null) {
        saveDrawing(foundFormat, saveDialog.getSelectedFile().getAbsolutePath());
      } else {
        showStatus("Not a valid file format: " + saveDialog.getFileFilter().getDescription());
      }
    }
  }