Vukašin Vojinović e645dee2f0 fix(header_bar): increase compact height ...

Increases Compact header height to 40 (from 36), to better accommodate larger widgets (e.g. the search bar). This makes it distinct from the SSD header, which is now addressed by the `_` match case.
Also makes the horizontal header padding fixed at 8, so that the app window padding can also be 8.

2024-10-03 15:39:00 +02:00

10 lines

558 B

XML

Raw Blame History