diff options
Diffstat (limited to 'tikzit/src/gtk/CreateEdgeTool.m')
-rw-r--r-- | tikzit/src/gtk/CreateEdgeTool.m | 30 |
1 files changed, 26 insertions, 4 deletions
diff --git a/tikzit/src/gtk/CreateEdgeTool.m b/tikzit/src/gtk/CreateEdgeTool.m index 7120d5b..5748494 100644 --- a/tikzit/src/gtk/CreateEdgeTool.m +++ b/tikzit/src/gtk/CreateEdgeTool.m @@ -30,6 +30,7 @@ - (NSString*) shortcut { return @"e"; } @synthesize activeRenderer=renderer; @synthesize styleManager; +@synthesize configurationWidget=configWidget; + (id) tool { return [[[self alloc] init] autorelease]; @@ -49,6 +50,29 @@ if (self) { styleManager = [sm retain]; stylePicker = [[EdgeStyleSelector alloc] initWithStyleManager:sm]; + + configWidget = gtk_vbox_new (FALSE, 0); + g_object_ref_sink (configWidget); + + GtkWidget *label = gtk_label_new ("Edge style:"); + gtk_widget_show (label); + gtk_misc_set_alignment (GTK_MISC (label), 0.0, 0.5); + gtk_box_pack_start (GTK_BOX (configWidget), + label, + FALSE, + FALSE, + 0); + + GtkWidget *selectorFrame = gtk_frame_new (NULL); + gtk_widget_show (selectorFrame); + gtk_box_pack_start (GTK_BOX (configWidget), + selectorFrame, + TRUE, + TRUE, + 0); + gtk_container_add (GTK_CONTAINER (selectorFrame), + [stylePicker widget]); + gtk_widget_show ([stylePicker widget]); } return self; @@ -62,11 +86,9 @@ [stylePicker release]; [sourceNode release]; - [super dealloc]; -} + g_object_unref (G_OBJECT (configWidget)); -- (GtkWidget*) configurationWidget { - return [stylePicker widget]; + [super dealloc]; } - (EdgeStyle*) activeStyle { |