ElectionSimulation.java 文件源码

@Override
public void mouseWheelMoved(MouseWheelEvent event) {
    if (react) {
        int amount = event.getWheelRotation();
        if (amount > 0) {
            model.setVerticalOffset(Math.min(model.getVerticalOffset() + amount * 5,
                    (model.getAmountVoters() - 1) * model.getElementHeight() * 2));
            view.update();
        } else {
            model.setVerticalOffset(Math.max(model.getVerticalOffset() + amount * 5, 0));
            view.update();
        }
    }
}