private TextField makeTextField(final String colType) {
TextField t = new TextField(colType);
t.addListener(new TextChangeListener() {
SimpleStringFilter filter = null;
public void textChange(TextChangeEvent event) {
Filterable f = (Filterable) m_table.getContainerDataSource();
if (filter != null) {
f.removeContainerFilter(filter);
}
filter = new SimpleStringFilter(colType, event.getText(), true /* ignoreCase */, false /* onlyMatchPrefix */);
f.addContainerFilter(filter);
}
});
return t;
}
|