ui: Fix headerbar becoming too large

Removes the .toolbar class from a box in the headerbar and instead sets spacing property.

The .toolbar class added extra vertical padding, so the headerbar had to increase its size
This commit is contained in:
Tom A. Wagner
2023-09-28 14:04:07 +02:00
parent 3dd4623ab9
commit a1a4594a25

View File

@@ -21,9 +21,7 @@
<object class="AdwHeaderBar" id="header_bar">
<child type="end">
<object class="GtkBox">
<style>
<class name="toolbar"></class>
</style>
<property name="spacing">6</property>
<child>
<object class="HelvumZoomEntry">
<property name="zoomed-widget">graph</property>