svoid setImageSurfaceSelection(ImageSurface is, Rect r) {
  if (is != null) is.setSelection(toRectangle(r));
}