取消JSpinner的键盘编辑能力

  // Create a nummber spinner    JSpinner spinner = new JSpinner();        // Disable keyboard edits in the spinner    JFormattedTextField tf =        ((JSpinner.DefaultEditor)spinner.getEditor()).getTextField();    tf.setEditable(false);        // The previous call sets the background to a disabled    // color (usually gray). To change this disabled color,    // reset the background color.    tf.setBackground(Color.white);        // The value of the spinner can still be programmatically changed    spinner.setValue(new Integer(100));