src/main/java/chalmers/pimp/service/ImageExportService.java
private static FileChooser createFileChooser() {
    var fileChooser = new FileChooser();
    fileChooser.getExtensionFilters().add(new ExtensionFilter("PNG", "*.png"));
    return fileChooser;
  }
/**
   * Creates and returns a file chooser for choosing PNG images.
   *
   * @return a file chooser for choosing PNG images.
   */
Creates and returns a file chooser for choosing PNG images.
@return a file chooser for choosing PNG images.
Creates and returns a file chooser for choosing PNG images . @return a file chooser for choosing PNG images .
private static FileChooser createFileChooser() {
    var fileChooser = new FileChooser();
    fileChooser.getExtensionFilters().add(new ExtensionFilter("PNG", "*.png"));
    return fileChooser;
  }
private static FileChooser createFileChooser ( ) { var fileChooser = new FileChooser ( ) ; fileChooser . getExtensionFilters ( ) . add ( new ExtensionFilter ( "PNG" , "*.png" ) ) ; return fileChooser ; }
Creates and returns a file chooser for choosing PNG images.
Creates and returns a file chooser for choosing PNG images .