diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-06 11:06:59 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-06 11:06:59 +0000 |
| commit | 904fa7d389b98a3ce7735f2979652be43f28ee2a (patch) | |
| tree | 3193949d8eea0005041f9197972c25e248cd1a82 | |
| parent | 0766b825aecf072ce4586d6b447bb782f2adb56b (diff) | |
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.
| -rw-r--r-- | tikzit/src/gtk/CreateEdgeTool.m | 6 |
1 files changed, 5 insertions, 1 deletions
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); |