rem: ["timestamps",       defer, "appearance.timestamps"], ["timestampFormat",  defer, "appearance.timestamps"] 
add: ["timestamps",         defer, "appearance.timestamps"], ["timestamps.display", defer, "appearance.timestamps"], ["timestamps.log",     defer, "hidden"] 
context: function getDCCUserPrefManager(user){    function defer(prefName)    {        return client.prefs[prefName];    };    function makeLogNameUser()    {        return makeLogName(user, "dccuser");    };    function onPrefChanged(prefName, newValue, oldValue)    {        onDCCUserPrefChanged(user, prefName, newValue, oldValue);    };    var prefs =        [         ["charset",          defer, ".connect"],         ["collapseMsgs",     defer, "appearance.misc"],         ["displayHeader",    client.prefs["dccUserHeader"], "appearance.misc"],         ["font.family",      defer, "appearance.misc"],         ["font.size",        defer, "appearance.misc"],         ["hasPrefs",         false, "hidden"],         ["motif.current",    defer, "appearance.motif"],         ["outputWindowURL",  defer, "appearance.misc"],         ["log",              client.prefs["dccUserLog"], ".log"],         ["logFileName",      makeLogNameUser,            ".log"],         ["timestamps",       defer, "appearance.timestamps"],         ["timestampFormat",  defer, "appearance.timestamps"]        ];    var branch = "extensions.irc.dcc.users." +                 pref_mungeName(user.canonicalName) + ".";    var prefManager = new PrefManager(branch, client.defaultBundle);    prefManager.addPrefs(prefs);    prefManager.addObserver({ onPrefChanged: onPrefChanged });    client.prefManager.addObserver(prefManager);    client.prefManagers.push(prefManager);    return prefManager;}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/2fdedfa3f92afb7ea8d2a283b79b3c1c1df2497c/prefs.js/buggy/xul/content/prefs.js