static DoublePt imageSurface_doublePtFromEvent(ImageSurface is, MouseEvent e) {
  ret DoublePt(e.getX()/is.getZoomX(), e.getY()/is.getZoomY());
}