1. package GLOBE_3D.Options is 
  2.  
  3.   -- Visual checks: 
  4.  
  5.   show_normals         : constant Boolean := False; 
  6.   show_portals         : constant Boolean := False; 
  7.   filter_portal_depth  : constant Boolean := False; 
  8.  
  9.   -- Formal checks: 
  10.  
  11.   full_check_objects   : constant Boolean := False; 
  12.   strict_geometry      : constant Boolean := False; 
  13.  
  14.   function Is_debug_mode return Boolean; 
  15.  
  16.   arrow_inflator : constant := 10.0; 
  17.  
  18. end GLOBE_3D.Options;