SettingsPanel.java 文件源码

private Widget createMinLengthField()
{
    final IntegerBox box = new IntegerBox();
    box.setValue(setting.getMinWordLength());
    box.setMaxLength(2);
    box.setWidth("15px");

    box.addChangeHandler(new ChangeHandler()
    {
        @Override
        public void onChange(ChangeEvent event)
        {
            setting.setMinWordLength(box.getValue());
        }
    });

    box.setTitle("Specify the minimum number of characters in a word");
    return box;
}