From 93bdd8c1a1cf46831a59713b3e46c92c853ca116 Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Sat, 8 Jan 2022 13:48:10 +0100
Subject: [PATCH] :wrench: Gtk3 fixes

---
 resources/ui/gtk3/prefs.ui | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/resources/ui/gtk3/prefs.ui b/resources/ui/gtk3/prefs.ui
index a68c755..93815a3 100644
--- a/resources/ui/gtk3/prefs.ui
+++ b/resources/ui/gtk3/prefs.ui
@@ -39,6 +39,11 @@
   </object>
 
   <object class="GtkBox" id="settings-widget">
+    <child>
+      <object class="GtkStackSidebar">
+        <property name="stack">main-stack</property>
+      </object>
+    </child>
     <child>
       <object class="GtkStack" id="main-stack">
         <child>