<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_hlbovhbccv7c4n7clm8pt29d49, 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 />
// onHover is called with null value when mouse moves outside of image surface
// onHover receives image coordinates
svoid imageSurfaceOnHover(ImageSurface is, VF1<Pt> onHover) {
  if (is == null || onHover == null) ret;
  swing {
    MouseAdapter ma = new MouseAdapter {
      public void mouseMoved(MouseEvent e) { pick(e); }
      public void mouseEntered(MouseEvent e) { pick(e); }
      public void mouseExited(MouseEvent e) { pick(null); }
      
      void pick(MouseEvent e) pcall {
        callF(onHover, e == null ? (Pt) null : is.pointFromEvent(e));
      }
    };
    is.addMouseMotionListener(ma);
    is.addMouseListener(ma);
  }
}

svoid imageSurfaceOnHover(ImageSurface is, IVF1<Pt> onHover) {
  imageSurfaceOnHover(is, toVF1(onHover));
}