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: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/00b6cdf954399a8f3562bddaefd3164388596abb/output-window.js/buggy/xul/content/output-window.js