# HG changeset patch # User robcast # Date 1326213621 -3600 # Node ID c8c441d1d7a0875de15fb8b31b30f8833e8f021f # Parent 36102de2301e39294655ed37cba68b7fa55ec295 fixed bug with prev/next page. (too quick in using jQuery functions) diff -r 36102de2301e -r c8c441d1d7a0 webapp/src/main/webapp/jquery/jquery.digilib.js --- a/webapp/src/main/webapp/jquery/jquery.digilib.js Wed Jan 04 14:26:55 2012 +0100 +++ b/webapp/src/main/webapp/jquery/jquery.digilib.js Tue Jan 10 17:40:21 2012 +0100 @@ -295,7 +295,7 @@ return false; } // TODO: how do we get pt? - if (settings.pt) { + if (settings.pt != null) { if (pn > settings.pt) { alert("no such page (page number too high)"); settings.pn = oldpn; @@ -965,7 +965,7 @@ borderH = 5; } var buttonsW = 0; - if (data.settings.visibleButtonSets) { + if (data.buttons != null) { // get button width from settings buttonsW = data.settings.buttonSettings[mode].buttonSetWidth * data.settings.visibleButtonSets; } @@ -1621,7 +1621,7 @@ */ var setNumValue = function(settings, key, value) { if (value == null) return null; - if ($.isNumeric(value)) { + if (isNumber(value)) { settings[key] = value; return value; } @@ -1667,6 +1667,13 @@ return (area.width === 1.0) && (area.height === 1.0); }; + /** return if the argument is a number. + * from Douglas Crockford, A.10. + * this is different from $.isNumeric(). + */ + var isNumber = function (value) { + return typeof value === 'number' && isFinite(value); + }; /** return number with reduced precision. * ("crop senseless precision") */