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/NodeStylesPalette.m b/tikzit/src/gtk/NodeStylesPalette.m
index cfdd93b..a3c69f7 100644
--- a/tikzit/src/gtk/NodeStylesPalette.m
+++ b/tikzit/src/gtk/NodeStylesPalette.m
@@ -39,6 +39,7 @@ static void remove_style_button_cb (GtkButton *widget, NodeStylesPalette *palett
 @interface NodeStylesPalette (Private)
 - (void) updateButtonState;
 - (void) removeSelectedStyle;
+- (void) addStyle;
 @end
 
 // }}}
@@ -168,6 +169,13 @@ static void remove_style_button_cb (GtkButton *widget, NodeStylesPalette *palett
         [[[selector model] styleManager] removeNodeStyle:style];
 }
 
+- (void) addStyle {
+    NodeStyle *newStyle = [NodeStyle defaultNodeStyleWithName:@"newstyle"];
+    [[self styleManager] addNodeStyle:newStyle];
+    [selector setSelectedStyle:newStyle];
+    [editor selectNameField];
+}
+
 @end
 
 // }}}
@@ -175,10 +183,7 @@ static void remove_style_button_cb (GtkButton *widget, NodeStylesPalette *palett
 
 static void add_style_button_cb (GtkButton *widget, NodeStylesPalette *palette) {
     NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
-
-    NodeStyle *newStyle = [NodeStyle defaultNodeStyleWithName:@"newstyle"];
-    [[palette styleManager] addNodeStyle:newStyle];
-
+    [palette addStyle];
     [pool drain];
 }