static void disableImageSurfaceSelector(ImageSurface is) {
  ImageSurfaceSelector s = firstInstance(is.tools, ImageSurfaceSelector);
  if (s == null) ret;
  is.removeMouseListener(s);
  is.removeMouseMotionListener(s);
  is.tools.remove(s);
}