rem: if (console.prefs["dbgRealize"]) 
add: if (eval(console.prefs["dbgRealize"])) 
context: function cmdSyncDebug(){    if (console.prefs["dbgContexts"])        console.dbgContexts = true;    else        delete console.dbgContexts;    if (console.prefs["dbgDispatch"])        console.dbgDispatch = true;    else        delete console.dbgDispatch;    if (console.prefs["dbgRealize"])        console.dbgRealize = true;    else        delete console.dbgRealize;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e9569eb18e50e06de729cba194fc4b9418c48865/venkman-dev.js/clean/extensions/venkman/resources/content/venkman-dev.js