add: break;  case "proxy.typeOverride": network.PROXY_TYPE_OVERRIDE = newValue; 
context: function onNetworkPrefChanged(network, prefName, newValue, oldValue){    if (network != client.networks[network.canonicalName])    {        /* 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":            network.dispatch("sync-font");            break;        case "motif.current":            network.dispatch("sync-motif");            break;        case "outputWindowURL":            network.dispatch("sync-window");            break;        case "displayHeader":            network.dispatch("sync-header");            break;        case "timestamps":        case "timestampFormat":            network.dispatch("sync-timestamp");            break;        case "log":            network.dispatch("sync-log");            break;        case "connectTries":            network.MAX_CONNECT_ATTEMPTS = newValue;            break;    }}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/195dd8ef1b8570dbc2a9e3cef1bb2f63c8e45436/prefs.js/clean/xul/content/prefs.js