};
})//
.bind(Dialog.Event.close, new Function() {
public void f(Element e) {
FormElement form = $("form", dialog.elements()[0]).elements()[0].cast();
form.reset();
};
});
// addTab button: just opens the dialog
$("#add_tab").as(Ui).button().click(new Function() {