public void mouseWheelMoved(
ViewPanel v, short wheelDirection, int jpx, int jpy, MouseWheelEvent e) {
Camera c = application.vsm.getActiveCamera();
double a = (c.focal + Math.abs(c.altitude)) / c.focal;
if (wheelDirection == WHEEL_UP) {
c.altitudeOffset(-a * 5);
application.vsm.repaint();
} else {
// wheelDirection == WHEEL_DOWN
c.altitudeOffset(a * 5);
application.vsm.repaint();
}
}
