rem: pma_navi_width = document.getElementById('body_leftFrame').offsetWidth  if (pma_navi_width > 0) { 
add: if (parent.text_dir == 'ltr') { pma_navi_width = parseInt(parent.document.getElementById('mainFrameset').cols) } else { pma_navi_width = parent.document.getElementById('mainFrameset').cols.match(/\d+$/) } if ((pma_navi_width > 0) && (pma_navi_width != PMA_getCookie('pma_navi_width'))) { 
context: function PMA_saveFrameSizeReal(){    pma_navi_width = document.getElementById('body_leftFrame').offsetWidth    //alert('from DOM: ' + typeof(pma_navi_width) + ' : ' + pma_navi_width);    if (pma_navi_width > 0) {        PMA_setCookie('pma_navi_width', pma_navi_width, expires);        //alert('framesize saved');    }}
meta: 6623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6623/8f01fbd10c98800e872791ac80850482d8099262/navigation.js/buggy/js/navigation.js