HistoryPopup.java 文件源码

@Override
public void onKeyDown(KeyDownEvent event) {
    int keyCode = event.getNativeKeyCode();
    if((keyCode == KEY_BACKSPACE || keyCode >= KEY_DELETE) 
            && keyCode != 91 && keyCode != 93) { // Command/Window keyboard keys
        cancelTimer();
        timer = new Timer() {
            public void run() {
                dataProvider.setFilter(filterTextBox.getValue());
            }
        };

        timer.schedule(TIMEOUT);
    } else if(keyCode == KEY_ENTER) {
        cancelTimer();
        dataProvider.setFilter(filterTextBox.getValue());
    }
}