public void magnify(int delta){
  camera.magnify(delta);
  updateCrosshair();
  updateGeometricState(0);
  changed.set(true);
  updateStatus();
}

public void magnify ( int delta ) { camera . magnify ( delta ) ; updateCrosshair ( ) ; updateGeometricState ( 0 ) ; changed . set ( true ) ; updateStatus ( ) ; }
increase or decrease magnification by a delta
