summaryrefslogtreecommitdiff
path: root/tikzit/src/linux/PropertyListEditor.m
diff options
context:
space:
mode:
authorrandomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64>2012-01-09 16:14:42 +0000
committerrandomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64>2012-01-09 16:14:42 +0000
commitdb6c92dfd731c482afd9bb0b6ef5d0a827e98f3a (patch)
tree5b0d0330a71b0b4ca1f53d3571b8c03d9cc76719 /tikzit/src/linux/PropertyListEditor.m
parent16c37dc55b52e41062fc0928070446d91d26f8ce (diff)
GTK: Make the layout of the main window prettier
git-svn-id: https://tikzit.svn.sourceforge.net/svnroot/tikzit/trunk@372 7c02a99a-9b00-45e3-bf44-6f3dd7fddb64
Diffstat (limited to 'tikzit/src/linux/PropertyListEditor.m')
-rw-r--r--tikzit/src/linux/PropertyListEditor.m7
1 files changed, 6 insertions, 1 deletions
diff --git a/tikzit/src/linux/PropertyListEditor.m b/tikzit/src/linux/PropertyListEditor.m
index cf04726..51f3cbf 100644
--- a/tikzit/src/linux/PropertyListEditor.m
+++ b/tikzit/src/linux/PropertyListEditor.m
@@ -113,8 +113,13 @@ static void remove_clicked_cb (GtkButton *button,
self);
widget = gtk_vbox_new (FALSE, 0);
+ gtk_box_set_spacing (GTK_BOX (widget), 6);
g_object_ref_sink (G_OBJECT (widget));
- gtk_container_add (GTK_CONTAINER (widget), scrolledview);
+
+ GtkWidget *listFrame = gtk_frame_new (NULL);
+ gtk_container_add (GTK_CONTAINER (listFrame), scrolledview);
+ gtk_widget_show (listFrame);
+ gtk_container_add (GTK_CONTAINER (widget), listFrame);
GtkBox *buttonBox = GTK_BOX (gtk_hbox_new(FALSE, 0));
gtk_box_pack_start (GTK_BOX (widget), GTK_WIDGET (buttonBox), FALSE, FALSE, 0);