svoid g22_highlightRegion(int[] pixels, ImageSurface is, Gazelle22_ImageToRegions itr,
  Pt mouse default is.mousePosition, bool showRegionsAsOutline) {
  if (mouse != null && itr != null && itr.regions != null) {
    int iHighlightedRegion = itr.regions.regionAt(mouse);
    g22_highlightRegion(pixels, itr, iHighlightedRegion, showRegionsAsOutline);
  }
}

svoid g22_highlightRegion(int[] pixels, Gazelle22_ImageToRegions itr, int iRegion, int color default 0xFF00C000, bool showRegionsAsOutline) {
  if (iRegion == 0) ret;
  if (showRegionsAsOutline) {
    RegionBorder_innerPoints x = new(itr.regions, iRegion);
    gazelle22_highlightRegionOutline(pixels, itr, x);
  } else
    itr.regions.markRegionInPixelArray(pixels, iRegion, color);
}