public void change_user_unit_factor(double p_new_factor){
  PlaCoordTransform old_transform=coordinate_transform;
  coordinate_transform=new PlaCoordTransform(p_new_factor,old_transform.user_unit,old_transform.board_unit_factor,old_transform.board_unit);
}

public void change_user_unit_factor ( double p_new_factor ) { PlaCoordTransform old_transform = coordinate_transform ; coordinate_transform = new PlaCoordTransform ( p_new_factor , old_transform . user_unit , old_transform . board_unit_factor , old_transform . board_unit ) ; }
changes the factor of the user unit .
