Swing/MouseWheel のバックアップ(No.10)

バックアップ一覧
差分を表示
現在との差分を表示
現在との差分 - Visual を表示
ソースを表示
Swing/MouseWheel へ行く。

Terai Atsuhiro 2021-11-26 (金) 05:14:30

spinner.addMouseWheelListener(new MouseWheelListener(){
  public void mouseWheelMoved(MouseWheelEvent e){
    JSpinner source = (JSpinner)e.getSource();
    SpinnerNumberModel model = (SpinnerNumberModel)source.getModel();
    Integer oldValue = (Integer)source.getValue();
    int intValue = oldValue.intValue()
                  -e.getWheelRotation()*model.getStepSize().intValue();
    Integer newValue = new Integer(intValue);
    if(model.getMaximum().compareTo(newValue)>=0 &&
       model.getMinimum().compareTo(newValue)<=0){
      source.setValue(newValue);
    }
  }
});