Hi Juliusz,

Thank you, that is great to hear.

This next PR fixes the layout below the top bar when the font size changes. I also added a comment explaining how the height is calculated. Please let me know if you prefer a shorter comment or no comments at all.

https://github.com/jech/galene/pull/339

I tested this change on Galene running locally.

I just noticed that I made the same mistake again, I opened this PR from my fork’s master after merging the patch there, so it includes an extra merge commit. Sorry about that. Next time I’ll open the PR directly from a separate branch, with only the patch commit.

Best regards,
Valent

Hello Valent.

 

https://github.com/jech/galene/pull/337

https://github.com/jech/galene/pull/338

 

I've merged both PRs, in the opposite order (since #338 was easier to

review) and after linearising your history. They're live at galene.org.

 

Thanks,

 

-- Juliusz