# 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")
      */