context: function updateButtons(){    if (serverList.selectedItems.length <= 0) {        editButton.setAttribute("disabled", "true");        deleteButton.setAttribute("disabled", "true");        setDefaultButton.setAttribute("disabled", "true");    } else {        editButton.removeAttribute("disabled");                // can't delete default server        var server = getSelectedServer();        if (smtpService.defaultServer == server) {            dump("Selected default server!\n");            setDefaultButton.setAttribute("disabled", "true");            deleteButton.setAttribute("disabled", "true");        }        else {            setDefaultButton.removeAttribute("disabled");            deleteButton.removeAttribute("disabled");        }    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0b2dd2b2d2fd037df917e07645fa019a963332a5/SmtpServerList.js/clean/mailnews/base/prefs/resources/content/SmtpServerList.js