add: case "timestamps": case "timestampFormat": dispatch("sync-timestamps"); break;  
context: function onChannelPrefChanged(channel, prefName, newValue, oldValue){    var network = channel.parent.parent;    if (network != client.networks[network.name] ||        channel.parent != network.primServ ||        channel != network.primServ.channels[channel.normalizedName])    {        /* this is a stale observer, remove it */        channel.prefManager.destroy();        return;    }    channel.updateHeader();    switch (prefName)    {        case "motif.current":            dispatch("sync-motifs");        case "outputWindowURL":            dispatch("sync-windows");            break;        case "displayHeader":            dispatch("sync-headers");            break;        case "log":            dispatch("sync-logs");            break;    }}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/e514d5f9baaf43550c1338ff6e11af572ed7f42f/prefs.js/buggy/xul/content/prefs.js