rem: if (!msg) msg = console._statusStack[console._statusStack.length - 1];  
add: var topMsg = console._statusStack[console._statusStack.length - 1];  if (msg) { if ("_statusTimeout" in console) { clearTimeout (console._statusTimeout); delete console._statusTimeout; } if (msg != topMsg) { console._statusTimeout = setTimeout (con_setstatus, console.prefs["statusDuration"], null); } } else { msg = topMsg; }  
context: function con_setstatus (msg){    if (!msg)        msg = console._statusStack[console._statusStack.length - 1];        console.ui["status-text"].setAttribute ("label", msg);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js