rem: }; 
add: } 
context:   function setButtonStatus(id, newval) {    var oldval = this[id];    var el = this.element;    if (oldval != newval) {      switch (id) {          case "enabled":        if (newval) {          HTMLArea._removeClass(el, "buttonDisabled");          el.disabled = false;        } else {          HTMLArea._addClass(el, "buttonDisabled");          el.disabled = true;        }        break;          case "active":        if (newval) {          HTMLArea._addClass(el, "buttonPressed");        } else {          HTMLArea._removeClass(el, "buttonPressed");        }        break;      }      this[id] = newval;    }  }; // END of function: setButtonStatus
meta: 1743	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1743/878617918015c2c8847abc97bb36fbda96298ac5/htmlarea.js/clean/xinha/htmlarea.js