HeaderHeight

Legt die Höhe der Kopfzeile fest.

Schema: tchmi:framework#/definitions/MeasurementValue

Attribut-Getter: getHeaderHeight

Attribut-Setter: setHeaderHeight