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.
This commit is contained in:
Vukašin Vojinović 2024-10-02 00:32:08 +02:00 committed by Michael Murphy
parent 228eb4d70d
commit e645dee2f0
8 changed files with 37 additions and 29 deletions

View file

@ -0,0 +1,10 @@
<svg width="16" height="16" viewBox="0 0 16 16" fill="none" xmlns="http://www.w3.org/2000/svg">
<mask id="path-1-inside-1_3277_252" fill="white">
<rect x="1" y="2" width="14" height="12" rx="1"/>
</mask>
<rect x="1" y="2" width="14" height="12" rx="1" stroke="#232323" stroke-width="4" mask="url(#path-1-inside-1_3277_252)"/>
<rect x="6" y="2" width="2" height="12" fill="#232323"/>
<rect x="4" y="5" width="1" height="1" fill="#232323"/>
<rect x="4" y="7" width="1" height="1" fill="#232323"/>
<rect x="4" y="9" width="1" height="1" fill="#232323"/>
</svg>

After

Width:  |  Height:  |  Size: 558 B

View file

@ -0,0 +1,8 @@
<svg width="16" height="16" viewBox="0 0 16 16" fill="none" xmlns="http://www.w3.org/2000/svg">
<mask id="path-1-inside-1_3277_253" fill="white">
<rect x="1" y="2" width="14" height="12" rx="1"/>
</mask>
<rect x="1" y="2" width="14" height="12" rx="1" stroke="#232323" stroke-width="4" mask="url(#path-1-inside-1_3277_253)"/>
<rect x="5" y="2" width="2" height="12" fill="#232323"/>
<path d="M7.99983 8.02603L10.9998 5C10.9998 5 11.5568 4.55672 12 5.00002C12.4432 5.44331 12 6.00002 12 6.00002L10 8.02603L12 10C12 10 12.5 10.5 12 11C11.5 11.5 11 11 11 11L7.99983 8.02603Z" fill="#232323"/>
</svg>

After

Width:  |  Height:  |  Size: 597 B