TimelinePartPanel.java 文件源码

private void setupFilter() {
    JTextField textField = ((JSpinner.DefaultEditor)getEditor()).getTextField();
    textField.addKeyListener(new KeyAdapter() {
        public void keyTyped(KeyEvent e) {
            char c = e.getKeyChar();
            if ( ((c < '0') || (c > '9')) && (c != KeyEvent.VK_BACK_SPACE) && (c != KeyEvent.VK_MINUS)  && (c != KeyEvent.VK_PERIOD))
                e.consume();
        }
    });
}