add: document.title = view.getURL();  
context: function updateHeader(){    if (!header || hasAttribute("container", "hidden"))        return;    for (var id in header)    {        var value;        if (id == "url-anchor")        {            value = view.getURL();            setAttribute("url-anchor", "href", value);            setText("url-anchor", value);        }        else if (id in view)        {            setText(id, view[id]);        }    }    if (header.update)        header.update();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/82a4c8999a77708bf4311696d0645ae1f30121ff/output-window.js/clean/extensions/irc/xul/content/output-window.js