next up previous contents index
Next: DO_LABEL Up: SHOW Previous: DO_GREY   Contents   Index


DO_HEADER

          LOGICAL DO_HEADER

    DO_HEADER  indicates  whether  a  panel displaying a summary information
    about the displayed data is drawn or not.


Gildas manager 2023-06-01