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 <-