# HG changeset patch # User Nicholas Jillings # Date 1493110364 -3600 # Node ID 622671f2ac13e207db0297067547143e3a06ae85 # Parent 586c5cac6e7f0e87ad6e0f312421239fd844a77f# Parent 74b0a1be28a7175b9d000baa69e750e051cc5947 Merge branch 'vnext' into Dev_main diff -r 586c5cac6e7f -r 622671f2ac13 js/core.js --- a/js/core.js Tue Apr 25 09:45:23 2017 +0100 +++ b/js/core.js Tue Apr 25 09:52:44 2017 +0100 @@ -1232,7 +1232,7 @@ // Now get the order of pages var fixed = []; pagePool.forEach(function (page) { - if (page.position !== null) { + if (page.position !== undefined) { fixed.push(page); var i = pagePool.indexOf(page); pagePool.splice(i, 1);