svoid g22_renderPosterizedHighlightedImage(ImageSurface isPosterized, ImageToRegions itr, bool showRegionsAsOutline) {
  if (isPosterized == null) ret;
  
  var mouse = mouseLocationPt();
  if (!isScreenCoordinateInWindow(mouse, isPosterized)) {
    var mouse2 = itr.coordinatesFromScreen(mouse);
    //printVars(+mouse, +mouse2);
    mouse = mouse2;
  } else
    mouse = isPosterized.mousePosition;
    
  var pixels = itr.posterized.getRGBPixels();
  g22_highlightRegion(pixels, isPosterized, itr, mouse, showRegionsAsOutline);
  isPosterized.setImage(bufferedImage(pixels, itr.posterized));
}