add: updateUserList(); 
context: function my_cnick (e){    if (userIsMe (e.user))    {        this.display (getMsg("my_cnickMsg", e.user.properNick), "NICK",                      "ME!", e.user, this);        updateNetwork();    }    else        this.display (getMsg("my_cnickMsg2", e.oldNick, e.user.properNick),                      "NICK", e.user, this);    /*      dd ("updating resource " + e.user.getGraphResource().Value +        " to new nickname " + e.user.properNick);    */    e.user.updateGraphResource();    }
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/5effcc381bf78f4b464c1592cdaa2534669a9035/handlers.js/buggy/xul/content/handlers.js