From 3230de30f3e96158e54a7f9467264ebd6d6d0a65 Mon Sep 17 00:00:00 2001
From: Alex Merry <alex.merry@cs.ox.ac.uk>
Date: Fri, 14 Dec 2012 15:35:09 +0000
Subject: Add scrollbars to the tool style selectors

---
 tikzit/src/gtk/CreateEdgeTool.m | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'tikzit/src/gtk/CreateEdgeTool.m')

diff --git a/tikzit/src/gtk/CreateEdgeTool.m b/tikzit/src/gtk/CreateEdgeTool.m
index b51e729..d8ca4b1 100644
--- a/tikzit/src/gtk/CreateEdgeTool.m
+++ b/tikzit/src/gtk/CreateEdgeTool.m
@@ -60,6 +60,15 @@
                             FALSE,
                             0);
 
+        GtkWidget *selWindow = gtk_scrolled_window_new (NULL, NULL);
+        gtk_widget_show (selWindow);
+        gtk_container_add (GTK_CONTAINER (selWindow),
+                           [stylePicker widget]);
+        gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (selWindow),
+                                        GTK_POLICY_NEVER,
+                                        GTK_POLICY_AUTOMATIC);
+        gtk_widget_show ([stylePicker widget]);
+
         GtkWidget *selectorFrame = gtk_frame_new (NULL);
         gtk_widget_show (selectorFrame);
         gtk_box_pack_start (GTK_BOX (configWidget),
@@ -68,8 +77,7 @@
                             TRUE,
                             0);
         gtk_container_add (GTK_CONTAINER (selectorFrame),
-                           [stylePicker widget]);
-        gtk_widget_show ([stylePicker widget]);
+                           selWindow);
     }
 
     return self;
-- 
cgit v1.2.3