# HG changeset patch
# User robcast
# Date 1295466085 -3600
# Node ID 904a722c21494ab75ec4e7093069df0cd836af92
# Parent  71cc855e2e4b7e425b88689431d6d34bd0cba590
small improvement

diff -r 71cc855e2e4b -r 904a722c2149 client/digitallibrary/jquery/jquery.digilib.js
--- a/client/digitallibrary/jquery/jquery.digilib.js	Wed Jan 19 20:18:59 2011 +0100
+++ b/client/digitallibrary/jquery/jquery.digilib.js	Wed Jan 19 20:41:25 2011 +0100
@@ -601,7 +601,7 @@
 
     // shows some window e.g. 'about' (toggle visibility if show is null)
     var showDiv = function (isVisible, $div, show) {
-        if (typeof(show) !== 'number') {
+        if (show == null) {
             // toggle visibility
             isVisible = !isVisible;
         } else {