Skip to content

Reduce the height of the tab bars and side panel titles#5609

Merged
abey79 merged 3 commits intomainfrom antoine/title-bar-24Mar 21, 2024