From c27208f7a1051dcd5fa9c042d3eb87ae9a42f28f Mon Sep 17 00:00:00 2001 From: Alex Merry Date: Fri, 22 Mar 2013 12:22:52 +0000 Subject: 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". --- tikzit/src/gtk/NodeStyleEditor.m | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'tikzit/src/gtk/NodeStyleEditor.m') diff --git a/tikzit/src/gtk/NodeStyleEditor.m b/tikzit/src/gtk/NodeStyleEditor.m index febbf3c..fcf4147 100644 --- a/tikzit/src/gtk/NodeStyleEditor.m +++ b/tikzit/src/gtk/NodeStyleEditor.m @@ -279,6 +279,11 @@ static void scale_adjustment_changed_cb (GtkAdjustment *widget, NodeStyleEditor return GTK_WIDGET (table); } +- (void) selectNameField { + gtk_widget_grab_focus (GTK_WIDGET (nameEdit)); + gtk_editable_select_region (GTK_EDITABLE (nameEdit), 0, -1); +} + @end // }}} -- cgit v1.2.3