box.addKeyPressHandler( new NumbericFilterKeyPressHandler( box ) );
panel.add( box );
} else if ( flType != null && flType.equals( SuggestionCompletionEngine.TYPE_BOOLEAN ) ) {
String[] c = new String[]{"true", "false"};
panel.add( new EnumDropDown( field.getValue(),
new DropDownValueChanged() {
public void valueChanged(String newText,
String newValue) {
callback.valueChanged( newValue );
}
},
DropDownData.create( c ) ) );
} else if ( flType != null && flType.equals( SuggestionCompletionEngine.TYPE_DATE ) ) {
final DatePickerTextBox datePicker = new DatePickerTextBox( field.getValue() );
String m = ((Constants) GWT.create( Constants.class )).ValueFor0( field.getName() );
datePicker.setTitle( m );
datePicker.addValueChanged( new ValueChanged() {
public void valueChanged(String newValue) {
field.setValue( newValue );
}
} );
panel.add( datePicker );
} else {
Map<String, String> currentValueMap = new HashMap<String, String>();
for (FieldData otherFieldData : givenFact.getFieldData()) {
currentValueMap.put(otherFieldData.getName(), otherFieldData.getValue());
}
DropDownData dropDownData = sce.getEnums(factType, field.getName(), currentValueMap);
if ( dropDownData != null ) {
field.setNature( FieldData.TYPE_ENUM );
panel.add( new EnumDropDown( field.getValue(),
new DropDownValueChanged() {
public void valueChanged(String newText,
String newValue) {
callback.valueChanged( newValue );
}
},