diff options
author | Benny Baumann <BenBE@geshi.org> | 2022-10-22 13:43:41 +0200 |
---|---|---|
committer | cgzones <cgzones@googlemail.com> | 2022-10-22 17:52:55 +0200 |
commit | 4ad530d1c00f649dcd02b818a3ccc7ded0aaf12d (patch) | |
tree | 207119c6a9e45a096d9ca7da494b05dac8b6d4f4 /Header.c | |
parent | 15fe50d272a5f548c7b9a0b8e79794fe1caf31bc (diff) |
Do not render a margin around the header if there are any meters
Diffstat (limited to 'Header.c')
-rw-r--r-- | Header.c | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -286,10 +286,19 @@ int Header_calculateHeight(Header* this) { } maxHeight = MAXIMUM(maxHeight, height); } + + if (maxHeight == pad) { + maxHeight = 0; + this->pad = 0; + } else { + this->pad = pad; + } + if (this->settings->screenTabs) { maxHeight++; } + this->height = maxHeight; - this->pad = pad; + return maxHeight; } |