!7

p {
  onNewFileInDir/*_plusExisting*/(userDesktopDir(), voidfunc(File f) {
    if (fileExtensionIs(f, ".png")) {
      infoBox("JPEGifying: " + f.getName());
      long size1 = fileSize(f);
      File dest = jpegify(f);
      long size2 = fileSize(dest);
      infoBox("JPEGified " + f.getName() + " (" + toK(size1) + "K -> " + toK(size2) + "K)");
    }
  });
  noMainDone("Watching " + userDesktopDir() + ".");
}