ArbitraryHeaderSpace constructor

const ArbitraryHeaderSpace(double height)

Implementation

const ArbitraryHeaderSpace(this.height);