rem: dispatch("sync-fonts"); 
add: user.dispatch("sync-font"); 
context: function onUserPrefChanged(user, prefName, newValue, oldValue){    var network = user.parent.parent;    if (network != client.networks[network.name] ||        user.parent != network.primServ ||        user != network.primServ.users[user.name])    {        /* this is a stale observer, remove it */        user.prefManager.destroy();        return;    }    user.updateHeader();    switch (prefName)    {        case "font.family":        case "font.size":            dispatch("sync-fonts");            break;        case "motif.current":            dispatch("sync-motifs");            break;        case "outputWindowURL":            dispatch("sync-windows");            break;        case "displayHeader":            dispatch("sync-headers");            break;        case "timestamps":        case "timestampFormat":            dispatch("sync-timestamps");            break;        case "log":            dispatch("sync-logs");            break;    }}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/c6101b49aef97cf47069c333c0e54bcdd4a66616/prefs.js/clean/xul/content/prefs.js