rem: case "timestampFormat": 
add: case "timestamps.display": 
context: function onUserPrefChanged(user, prefName, newValue, oldValue){    var network = user.parent.parent;    if (network != client.networks[network.canonicalName] ||        user.parent != network.primServ ||        user != network.primServ.users[user.canonicalName])    {        /* this is a stale observer, remove it */        user.prefManager.destroy();        return;    }    user.updateHeader();    switch (prefName)    {        case "font.family":        case "font.size":            user.dispatch("sync-font");            break;        case "motif.current":            user.dispatch("sync-motif");            break;        case "outputWindowURL":            user.dispatch("sync-window");            break;        case "displayHeader":            user.dispatch("sync-header");            break;        case "timestamps":        case "timestampFormat":            user.dispatch("sync-timestamp");            break;        case "log":            user.dispatch("sync-log");            break;    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/df572a220537f92afbd53f3f6c4a68ed6ae2eda9/prefs.js/buggy/extensions/irc/xul/content/prefs.js