public void changeMagnification(double val){
  camera.magnify(val);
  updateGeometricState(0);
  changed.set(true);
  updateStatus();
}

public void changeMagnification ( double val ) { camera . magnify ( val ) ; updateGeometricState ( 0 ) ; changed . set ( true ) ; updateStatus ( ) ; }
set the magnification value
