rem: document.title = getMsg(opener.MSN_FLOATER_TITLE, ary.join(opener.MSG_COMMASP)); 
add: var views = ary.join(opener.MSG_COMMASP); if (views == "") views = opener.MSG_VAL_NONE;  document.title = getMsg(opener.MSN_FLOATER_TITLE, views); 
context: function updateTitle(){    var ary = new Array();        for (v in containedViews)        ary.push(containedViews[v].caption);    document.title = getMsg(opener.MSN_FLOATER_TITLE,                            ary.join(opener.MSG_COMMASP));}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/9d5388e62933463fc6e0140861276dbb960b47ff/venkman-floater.js/clean/extensions/venkman/resources/content/venkman-floater.js