diff options
| author | randomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64> | 2012-01-09 16:14:42 +0000 |
|---|---|---|
| committer | randomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64> | 2012-01-09 16:14:42 +0000 |
| commit | db6c92dfd731c482afd9bb0b6ef5d0a827e98f3a (patch) | |
| tree | 5b0d0330a71b0b4ca1f53d3571b8c03d9cc76719 /tikzit/src/linux/MainWindow.m | |
| parent | 16c37dc55b52e41062fc0928070446d91d26f8ce (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/MainWindow.m')
| -rw-r--r-- | tikzit/src/linux/MainWindow.m | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/tikzit/src/linux/MainWindow.m b/tikzit/src/linux/MainWindow.m index eceb7f9..a12b917 100644 --- a/tikzit/src/linux/MainWindow.m +++ b/tikzit/src/linux/MainWindow.m @@ -598,7 +598,10 @@ static void update_paste_action (GtkClipboard *clipboard, GdkEvent *event, GtkAc gtk_box_pack_start (mainLayout, GTK_WIDGET (propsPane), TRUE, TRUE, 0); propertyPane = [[PropertyPane alloc] init]; - gtk_paned_pack1 (propsPane, [propertyPane widget], FALSE, TRUE); + GtkWidget *propFrame = gtk_frame_new (NULL); + gtk_container_add (GTK_CONTAINER (propFrame), [propertyPane widget]); + gtk_paned_pack1 (propsPane, propFrame, FALSE, TRUE); + gtk_widget_show (propFrame); gtk_widget_show ([propertyPane widget]); stylesPane = GTK_PANED (gtk_hpaned_new ()); @@ -607,7 +610,10 @@ static void update_paste_action (GtkClipboard *clipboard, GdkEvent *event, GtkAc gtk_paned_pack2 (propsPane, GTK_WIDGET (stylesPane), TRUE, TRUE); stylesPalette = [[NodeStylesPalette alloc] initWithManager:styleManager]; - gtk_paned_pack2 (stylesPane, [stylesPalette widget], FALSE, TRUE); + GtkWidget *stylesFrame = gtk_frame_new (NULL); + gtk_container_add (GTK_CONTAINER (stylesFrame), [stylesPalette widget]); + gtk_paned_pack2 (stylesPane, stylesFrame, FALSE, TRUE); + gtk_widget_show (stylesFrame); gtk_widget_show ([stylesPalette widget]); graphPane = GTK_PANED (gtk_vpaned_new ()); @@ -617,7 +623,10 @@ static void update_paste_action (GtkClipboard *clipboard, GdkEvent *event, GtkAc surface = [[WidgetSurface alloc] init]; gtk_widget_show ([surface widget]); - gtk_paned_pack1 (graphPane, [surface widget], TRUE, TRUE); + GtkWidget *graphFrame = gtk_frame_new (NULL); + gtk_container_add (GTK_CONTAINER (graphFrame), [surface widget]); + gtk_widget_show (graphFrame); + gtk_paned_pack1 (graphPane, graphFrame, TRUE, TRUE); [surface setDefaultScale:50.0f]; [surface setKeepCentered:YES]; [surface setGrabsFocusOnClick:YES]; @@ -635,7 +644,10 @@ static void update_paste_action (GtkClipboard *clipboard, GdkEvent *event, GtkAc g_object_ref_sink (tikzDisp); gtk_widget_show (tikzDisp); gtk_container_add (GTK_CONTAINER (tikzScroller), tikzDisp); - gtk_paned_pack2 (graphPane, tikzScroller, FALSE, TRUE); + GtkWidget *tikzFrame = gtk_frame_new (NULL); + gtk_container_add (GTK_CONTAINER (tikzFrame), tikzScroller); + gtk_widget_show (tikzFrame); + gtk_paned_pack2 (graphPane, tikzFrame, FALSE, TRUE); statusBar = GTK_STATUSBAR (gtk_statusbar_new ()); gtk_widget_show (GTK_WIDGET (statusBar)); |