From 904fa7d389b98a3ce7735f2979652be43f28ee2a Mon Sep 17 00:00:00 2001 From: Alex Merry Date: Wed, 6 Feb 2013 11:06:59 +0000 Subject: Revert "Remove double-borders from edge style selector" This reverts commit 0766b825aecf072ce4586d6b447bb782f2adb56b. This appears to be just be a quirk of theme I was using at the time. --- tikzit/src/gtk/CreateEdgeTool.m | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tikzit/src/gtk/CreateEdgeTool.m b/tikzit/src/gtk/CreateEdgeTool.m index 4d62dd7..f3fb2c0 100644 --- a/tikzit/src/gtk/CreateEdgeTool.m +++ b/tikzit/src/gtk/CreateEdgeTool.m @@ -79,11 +79,15 @@ static void clear_style_button_cb (GtkButton *widget, 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), - selWindow, + selectorFrame, TRUE, TRUE, 0); + gtk_container_add (GTK_CONTAINER (selectorFrame), + selWindow); GtkWidget *button = gtk_button_new_with_label ("No style"); gtk_widget_show (button); -- cgit v1.2.3