1. with Maps;                              use Maps; 
  2.  
  3. package Game_Views.Ked.Toolbar.Layers_Menu is 
  4.  
  5.     -- Builds the gui for the layers menu 
  6.     procedure Make_Menu( view : not null A_Ked_View; 
  7.                          win  : not null A_Window ); 
  8.  
  9.     -- Call this procedure when a new world is loaded, to update the layers menu 
  10.     procedure Update_Menu( view   : not null access Ked_View'Class; 
  11.                            layers : not null A_Layer_Array ); 
  12.  
  13. private 
  14.  
  15.     procedure Set_Active_Layer( action : A_Button_Action ); 
  16.  
  17.     procedure Show_Clipping( action : A_Button_Action ); 
  18.  
  19.     procedure Show_Layer( action : A_Button_Action ); 
  20.  
  21.     procedure Show_Layers( action : A_Button_Action ); 
  22.  
  23. end Game_Views.Ked.Toolbar.Layers_Menu;