- load = MochiKit.DOM.getElement('loading');
- load.style.visibility = 'visible';
- t = MochiKit.DOM.getElement(texto);
- url = "/grupo/get_inscripto?cursoid=1&padron="+t.value;
- var d = loadJSONDoc(url);
- d.addCallbacks(partial(_on_alumno_get_result, lista), _on_alumno_get_error);
- t.value = "";
+ replaceChildNodes(lista,
+ list(ifilterfalse(itemgetter('selected'), $(lista).options))
+ );