<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_hdvg2s285pqihc258ekd14a82e, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid g22_renderPosterizedHighlightedImage(ImageSurface isPosterized, Gazelle22_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));
}