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.h | |
| 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.h')
| -rw-r--r-- | tikzit/src/gtk/NodeStyleEditor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tikzit/src/gtk/NodeStyleEditor.h b/tikzit/src/gtk/NodeStyleEditor.h index 9bde203..b45c992 100644 --- a/tikzit/src/gtk/NodeStyleEditor.h +++ b/tikzit/src/gtk/NodeStyleEditor.h @@ -38,6 +38,8 @@ - (id) init; +- (void) selectNameField; + @end // vim:ft=objc:ts=4:et:sts=4:sw=4:foldmethod=marker |