Section Header
  
    + name    := EVENT_GUI;
  
  
    - comment     :="Keyboard event.";
  
Section Inherit
  
    + parent_event:Expanded EVENT;
  
Section Public
  
  
    + source:INBOX;
      
  
    - make src:INBOX at dst:INBOX <-
    
  
  
 Display.
  
 
  
  
    - display <-