diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-11 16:27:09 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-11 16:27:09 +0000 |
commit | 81763ee4781833a78f06b0a799713e3412189256 (patch) | |
tree | 8bec700381d188e9dfc82fe1f4cb04ee1352c1d2 /tikzit/src/gtk/PropertyListEditor.m | |
parent | 157e0fc663a9858c08269c64094904bcdef8ccae (diff) |
Fix property window layout
There were spacing issues before
Diffstat (limited to 'tikzit/src/gtk/PropertyListEditor.m')
-rw-r--r-- | tikzit/src/gtk/PropertyListEditor.m | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tikzit/src/gtk/PropertyListEditor.m b/tikzit/src/gtk/PropertyListEditor.m index f53ed0f..ba909da 100644 --- a/tikzit/src/gtk/PropertyListEditor.m +++ b/tikzit/src/gtk/PropertyListEditor.m @@ -114,7 +114,6 @@ static void remove_clicked_cb (GtkButton *button, widget = gtk_vbox_new (FALSE, 0); gtk_box_set_spacing (GTK_BOX (widget), 6); - gtk_container_set_border_width (GTK_CONTAINER (widget), 6); g_object_ref_sink (G_OBJECT (widget)); GtkWidget *listFrame = gtk_frame_new (NULL); |