rem: client.globalHistory.addPage(user.getURL()); 
add: if (client.globalHistory) client.globalHistory.addPage(user.getURL()); 
context: function openQueryTab(server, nick){    var user = server.addUser(nick);    client.globalHistory.addPage(user.getURL());    if (!("messages" in user))    {        var value = "";        var same = true;        for (var c in server.channels)        {            var chan = server.channels[c];            if (!(user.canonicalName in chan.users))                continue;            /* This takes a boolean value for each channel (true - channel has             * same value as first), and &&-s them all together. Thus, |same|             * will tell us, at the end, if all the channels found have the             * same value for charset.             */            if (value)                same = same && (value == chan.prefs["charset"]);            else                value = chan.prefs["charset"];        }        /* If we've got a value, and it's the same accross all channels,         * we use it as the *default* for the charset pref. If not, it'll         * just keep the "defer" default which pulls it off the network.         */        if (value && same)        {            user.prefManager.prefRecords["charset"].defaultValue = value;        }        user.displayHere (getMsg(MSG_QUERY_OPENED, user.unicodeName));    }    user.whois();    return user;}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/59f600af856c1c054dcc6c15bd4eca1220235111/static.js/buggy/xul/content/static.js