diff options
| author | Alex Merry <dev@randomguy3.me.uk> | 2013-03-22 12:22:52 +0000 |
|---|---|---|
| committer | Alex Merry <dev@randomguy3.me.uk> | 2013-03-22 12:22:52 +0000 |
| commit | c27208f7a1051dcd5fa9c042d3eb87ae9a42f28f (patch) | |
| tree | 634a185eebf0b7082eb8d933e85493e98a7fa806 /tikzit/src/gtk/NodeStyleEditor.m | |
| parent | a64e1b4b41fb28235bd2ce26454a2e9f78c1f040 (diff) | |
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".
Diffstat (limited to 'tikzit/src/gtk/NodeStyleEditor.m')
| -rw-r--r-- | tikzit/src/gtk/NodeStyleEditor.m | 5 |
1 files changed, 5 insertions, 0 deletions
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 // }}} |