Button ok = new Button(constants.Add());
ok.addClickListener(new ClickListener() {
public void onClick(Widget w) {
String factName = facts.getItemText(facts.getSelectedIndex());
sc.insertBetween(ex, new VerifyFact(factName, new ArrayList()));
renderEditor();
pop.hide();
}
});
HorizontalPanel h = new HorizontalPanel();
h.add(facts);
h.add(ok);
pop.addAttribute(constants.FactValue(), h);
//add in list box for anon facts
final ListBox factTypes = new ListBox();
for (int i = 0; i < sce.factTypes.length; i++) {
String ft = sce.factTypes[i];
factTypes.addItem(ft);
}
ok = new Button(constants.Add());
ok.addClickListener(new ClickListener() {
public void onClick(Widget w) {
String t = factTypes.getItemText(factTypes.getSelectedIndex());
sc.insertBetween(ex, new VerifyFact(t, new ArrayList(), true));
renderEditor();
pop.hide();
}
});