From a1a4594a252868a3481a2c622aa4b809cb4b1cd1 Mon Sep 17 00:00:00 2001
From: "Tom A. Wagner" <tom.a.wagner@protonmail.com>
Date: Thu, 28 Sep 2023 14:04:07 +0200
Subject: [PATCH] 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
---
 src/ui/window.ui | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/ui/window.ui b/src/ui/window.ui
index c19955c..ef2b72b 100644
--- a/src/ui/window.ui
+++ b/src/ui/window.ui
@@ -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>