static ImageSurface showScaledImageWithSelections(RGBImage img, L<Rect> rects) {
  BufferedImage thumb = shrinkScreenshot(img.getBufferedImage());
  double factor = thumb.getWidth()/(double) img.getWidth();
  ret showImageWithSelections(thumb, scaleRects(rects, factor));
}