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/GraphEditorPanel.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/GraphEditorPanel.m')
0 files changed, 0 insertions, 0 deletions