rem: with (document.getElementById('parenttable').style) { oldTablePosition=position; position='fixed'; left=0; } 
add: oldTablePosition=document.getElementById('parenttable').style.position; document.getElementById('parenttable').style.position='fixed'; document.getElementById('parenttable').style.left=0; 
context: function gtd_search() {    if (inSearch) return;    inSearch=true;    gtd_freeze(true);    document.getElementById('searcher').style.display='block';    document.getElementById("searcherneedle").focus();    document.onkeypress=gtd_gotkey;    with (document.getElementById('parenttable').style) {        oldTablePosition=position;        position='fixed';        left=0;    }}
meta: 1337	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1337/3cd5cc24defd428a84935229b3847468620a79e9/enhancers.js/clean/enhancers.js