src/common/js/winjs/js/base.js
function addJobAtHeadOfPriority(node, priority) {
        var marker = markerFromPriority(priority);
        if (marker.priority > highWaterMark) {
            highWaterMark = marker.priority;
            immediateYield = true;
        }
        marker._insertJobAfter(node);
    }
function addJobAtHeadOfPriority(node, priority) {
        var marker = markerFromPriority(priority);
        if (marker.priority > highWaterMark) {
            highWaterMark = marker.priority;
            immediateYield = true;
        }
        marker._insertJobAfter(node);
    }
function addJobAtHeadOfPriority ( node , priority ) { var marker = markerFromPriority ( priority ) ; if ( marker . priority > highWaterMark ) { highWaterMark = marker . priority ; immediateYield = true ; } marker . _insertJobAfter ( node ) ; }
Mechanism for the scheduler
Mechanism for the scheduler