add:  if(isIE) { document.getElementById('canvas').style.width  = (osn_tab_width  - 3)?(osn_tab_width  - 3):0; document.getElementById('canvas').style.height = (osn_tab_height - 3)?(osn_tab_height - 3):0; } 
context: function Canvas_pos(){  canvas_width  = document.getElementById('canvas').width  = osn_tab_width  - 3;  canvas_height = document.getElementById('canvas').height = osn_tab_height - 3;}
meta: 8858	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8858/af31d1e079a34e628213040b7c8e19b7fbe1c6f8/move.js/buggy/pmd/scripts/move.js