rem: dispatch("sync-logs"); 
add: network.dispatch("sync-log"); 
context: function onNetworkPrefChanged(network, prefName, newValue, oldValue){    if (network != client.networks[network.name])    {        /* this is a stale observer, remove it */        network.prefManager.destroy();        return;    }    network.updateHeader();    switch (prefName)    {        case "nickname":            network.INITIAL_NICK = newValue;            break;        case "username":            network.INITIAL_NAME = newValue;            break;        case "usermode":            network.INITIAL_UMODE = newValue;            if (network.isConnected())            {                network.primServ.sendData("mode " + network.server.me + " :" +                                          newValue + "\n");            }            break;        case "desc":            network.INITIAL_DESC = newValue;            break;        case "reconnect":            network.stayingPower = newValue;            break;                case "font.family":        case "font.size":            dispatch("sync-fonts");            break;        case "motif.current":            dispatch("sync-motifs");            break;        case "outputWindowURL":            dispatch("sync-windows");            break;        case "displayHeader":            dispatch("sync-headers");            break;        case "timestamps":        case "timestampFormat":            dispatch("sync-timestamps");            break;        case "log":            dispatch("sync-logs");            break;        case "connectTries":            network.MAX_CONNECT_ATTEMPTS = newValue;            break;    }}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/0918cade427e1856c2e2bcfdefa8b4ea3e457b73/prefs.js/buggy/xul/content/prefs.js