Select the name field of newly created styles

Generally, the first thing you want to do after creating a node or edge
style is to change its name from "newstyle".

1 files changed, 9 insertions, 4 deletions

diff --git a/tikzit/src/gtk/EdgeStylesPalette.m b/tikzit/src/gtk/EdgeStylesPalette.m
index 1867f6e..066b38c 100644
--- a/tikzit/src/gtk/EdgeStylesPalette.m
+++ b/tikzit/src/gtk/EdgeStylesPalette.m
@@ -39,6 +39,7 @@ static void remove_style_button_cb (GtkButton *widget, EdgeStylesPalette *palett
 @interface EdgeStylesPalette (Private)
 - (void) updateButtonState;
 - (void) removeSelectedStyle;
+- (void) addStyle;
 @end
 
 // }}}
@@ -169,6 +170,13 @@ static void remove_style_button_cb (GtkButton *widget, EdgeStylesPalette *palett
         [[[selector model] styleManager] removeEdgeStyle:style];
 }
 
+- (void) addStyle {
+    EdgeStyle *newStyle = [EdgeStyle defaultEdgeStyleWithName:@"newstyle"];
+    [[self styleManager] addEdgeStyle:newStyle];
+    [selector setSelectedStyle:newStyle];
+    [editor selectNameField];
+}
+
 @end
 
 // }}}
@@ -176,10 +184,7 @@ static void remove_style_button_cb (GtkButton *widget, EdgeStylesPalette *palett
 
 static void add_style_button_cb (GtkButton *widget, EdgeStylesPalette *palette) {
     NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
-
-    EdgeStyle *newStyle = [EdgeStyle defaultEdgeStyleWithName:@"newstyle"];
-    [[palette styleManager] addEdgeStyle:newStyle];
-
+    [palette addStyle];
     [pool drain];
 }