rem: case "timestampFormat": 
add: case "timestamps.display": 
context: function onDCCUserPrefChanged(user, prefName, newValue, oldValue){    if (client.dcc.users[user.key] != user)    {        /* this is a stale observer, remove it */        user.prefManager.destroy();        return;    }    // DCC Users are a pain, they can have multiple views!    function updateDCCView(view)    {        switch (prefName)        {            case "font.family":            case "font.size":                view.dispatch("sync-font");                break;            case "motif.current":                view.dispatch("sync-motif");                break;            case "outputWindowURL":                view.dispatch("sync-window");                break;            case "displayHeader":                view.dispatch("sync-header");                break;            case "timestamps":            case "timestampFormat":                view.dispatch("sync-timestamp");                break;            case "log":                view.dispatch("sync-log");                break;        }    };    for (var i = 0; client.dcc.chats.length; i++)    {        var chat = client.dcc.chats[i];        if (chat.user == user)            updateDCCView(chat);    }}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/2fdedfa3f92afb7ea8d2a283b79b3c1c1df2497c/prefs.js/buggy/xul/content/prefs.js