chrome_extension/js/hover.js
/**
 * This is the event handler for mouseleave both on links and on the actual
 * hover div. We use a 250 ms timeout which allows the user to move from the
 * link to the hover and back without hiding the hover.
 *
 * @argument {object} e The event object.
 **/
This is the event handler for mouseleave both on links and on the actual
hover div. We use a 250 ms timeout which allows the user to move from the
link to the hover and back without hiding the hover.

@argument {object} e The event object.
This is the event handler for mouseleave both on links and on the actual hover div . We use a 250 ms timeout which allows the user to move from the link to the hover and back without hiding the hover . @argument { object } e The event object .
function handleMouseLeave(e) {
  if(showTimeout !== null) {
    clearTimeout(showTimeout);
    showTimeout = null;
  } else {
    hideTimeout = setTimeout(function() {
      hideTimeout = null;
      hideHover();
    }, 250);
  }
}
function handleMouseLeave ( e ) { if ( showTimeout !== null ) { clearTimeout ( showTimeout ) ; showTimeout = null ; } else { hideTimeout = setTimeout ( function ( ) { hideTimeout = null ; hideHover ( ) ; } , 250 ) ; } }
This is the event handler for mouseleave both on links and on the actual
 hover div.
This is the event handler for mouseleave both on links and on the actual hover div .