nikitonsky: If header does not change its height, why resize labels at all?
April 4, 2022 // PermalinkEdit
