Display the programmed keys

    The F10 key displays, in the status bar at the bottom of the PreTeX screen, the already programmed keys.