extras/noUiSlider/nouislider.js
function documentLeave ( event, data ) {
            if ( event.type === "mouseout" && event.target.nodeName === "HTML" && event.relatedTarget === null ){
                eventEnd (event, data);
            }
        }
function documentLeave ( event, data ) {
            if ( event.type === "mouseout" && event.target.nodeName === "HTML" && event.relatedTarget === null ){
                eventEnd (event, data);
            }
        }
function documentLeave ( event , data ) { if ( event . type === "mouseout" && event . target . nodeName === "HTML" && event . relatedTarget === null ) { eventEnd ( event , data ) ; } }
Fire 'end' when a mouse or pen leaves the document.
Fire end when a mouse or pen leaves the document .