Setting key labels
Labels can be defined to decorate buttons controlled by ON KEY/COMMAND KEY action handlers.
Automatic front end startup
This section describes how to start a graphical front-end automatically when the runtime system and the front-end reside on the same computer.