From dba0e66646d7d7fb12bbf7874b6aa9c1c1ef4b19 Mon Sep 17 00:00:00 2001
From: Chris Lee <@klee93>
Date: Tue, 26 Jan 2021 23:15:51 +0100
Subject: [PATCH] add scrollbars to fix issue #796

---
 src/tint2conf/properties.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/tint2conf/properties.c b/src/tint2conf/properties.c
index 584642e..723ce5f 100644
--- a/src/tint2conf/properties.c
+++ b/src/tint2conf/properties.c
@@ -234,10 +234,17 @@ GtkWidget *create_properties()
     dialog_vbox3 = gtk_dialog_get_content_area(GTK_DIALOG(view));
     gtk_widget_show(dialog_vbox3);
 
+    GtkWidget *scroll = gtk_scrolled_window_new(NULL, NULL);
+    gtk_scrolled_window_set_policy(GTK_SCROLLED_WINDOW(scroll),
+                                   GTK_POLICY_AUTOMATIC,
+                                   GTK_POLICY_AUTOMATIC);
+    gtk_box_pack_start(GTK_BOX(dialog_vbox3), scroll, TRUE, TRUE, 1);
+    gtk_widget_show(scroll);
+
     notebook = gtk_notebook_new();
     gtk_widget_show(notebook);
     gtk_container_set_border_width(GTK_CONTAINER(notebook), 5);
-    gtk_box_pack_start(GTK_BOX(dialog_vbox3), notebook, TRUE, TRUE, 6);
+    gtk_container_add(GTK_CONTAINER(scroll), notebook);
     gtk_notebook_set_tab_pos(GTK_NOTEBOOK(notebook), GTK_POS_LEFT);
 
     button = gtk_button_new_from_stock("gtk-apply");