# HG changeset patch
# User robcast
# Date 1295466085 -3600
# Node ID 91d168f7dd0d9ef1d12dddf3b80bf27a3e28dee0
# Parent  ee8ccd84c5f83d0179c50f3eb2fa47a74ce6b2f2
small improvement

diff -r ee8ccd84c5f8 -r 91d168f7dd0d 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 {