1. with Widgets.Menu_Items;                use Widgets.Menu_Items; 
  2.  
  3. package Game_Views.Ked.Menubar is 
  4.  
  5.     procedure Make_Menubar( view : not null A_Ked_View; 
  6.                             win  : not null A_Window ); 
  7.  
  8.     -- Call this when a new map is loaded to update the menu bar 
  9.     procedure Handle_New_Map( view : not null A_Ked_View ); 
  10.  
  11.     MENUBAR_HEIGHT : constant := 22; 
  12.  
  13. private 
  14.  
  15.     -- file menu 
  16.  
  17.     procedure File_New( action : A_Menu_Action ); 
  18.  
  19.     procedure File_Open( action : A_Menu_Action ); 
  20.  
  21.     procedure File_Save( action : A_Menu_Action ); 
  22.  
  23.     procedure File_Saveas( action : A_Menu_Action ); 
  24.  
  25.     procedure File_Import( action : A_Menu_Action ); 
  26.  
  27.     procedure File_Quit( action : A_Menu_Action ); 
  28.  
  29.     -- world menu 
  30.  
  31.     procedure World_Properties( action : A_Menu_Action ); 
  32.  
  33.     procedure World_Resize( action : A_Menu_Action ); 
  34.  
  35.     -- options menu 
  36.  
  37.     procedure Options_Gridsnap( action : A_Menu_Action ); 
  38.  
  39.     procedure Options_PinkScene( action : A_Menu_Action ); 
  40.  
  41.     procedure Options_Outlines( action : A_Menu_Action ); 
  42.  
  43.     procedure Options_Scaling( action : A_Menu_Action ); 
  44.  
  45.     -- help menu 
  46.  
  47.     procedure Help_About( action : A_Menu_Action ); 
  48.  
  49.     -- shortcuts 
  50.  
  51.     procedure Shortcut_File_Import( action : A_Key_Action; handled : out Boolean ); 
  52.  
  53.     procedure Shortcut_File_New( action : A_Key_Action; handled : out Boolean ); 
  54.  
  55.     procedure Shortcut_File_Open( action : A_Key_Action; handled : out Boolean ); 
  56.  
  57.     procedure Shortcut_File_Quit( action : A_Key_Action; handled : out Boolean ); 
  58.  
  59.     procedure Shortcut_File_Save( action : A_Key_Action; handled : out Boolean ); 
  60.  
  61.     procedure Shortcut_Toggle_Filter( action : A_Key_Action; handled : out Boolean ); 
  62.  
  63. end Game_Views.Ked.Menubar;