From b88d0e87d96b67c3e42db02028c85e0d8b4dcc1e Mon Sep 17 00:00:00 2001 From: Christophe Dumez Date: Wed, 25 Nov 2009 10:35:31 +0000 Subject: [PATCH] - Fix Javascript Error on some browsers (Epiphany, Chrome) that made the Web UI unusable --- src/webui/scripts/client.js | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/webui/scripts/client.js b/src/webui/scripts/client.js index bd64ed33c..da1fc6135 100644 --- a/src/webui/scripts/client.js +++ b/src/webui/scripts/client.js @@ -40,8 +40,10 @@ window.addEvent('domready', function(){ 'background': '#fff', 'visibility': 'visible' }); - var filt_w = Cookie.read('filters_width').toInt(); - if(!$defined(filt_w)) + var filt_w = Cookie.read('filters_width'); + if($defined(filt_w)) + filt_w = filt_w.toInt(); + else filt_w = 120; new MochaUI.Column({ id: 'filtersColumn', @@ -73,8 +75,10 @@ window.addEvent('domready', function(){ onResize: saveColumnSizes, height: null }); - var prop_h = Cookie.read('properties_height').toInt(); - if(!$defined(prop_h)) + var prop_h = Cookie.read('properties_height'); + if($defined(prop_h)) + prop_h = prop_h.toInt(); + else prop_h = 200; new MochaUI.Panel({ id: 'properties',