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