diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-06-14 14:50:54 +0100 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-06-14 14:50:54 +0100 |
commit | f244e7c06c3de117bb766977982480772c22c8cc (patch) | |
tree | 1c0d42e7001405b97b081797774c79b5a8b4b52d /tikzit/src/common/Graph.m | |
parent | cf1a2033ed26ba83d2998340165b8367851dc87f (diff) |
Fix "child node" check box in Edge Properties
We were calling the wrong api (set_mode, instead of set_active), which
was turning the checkbox/label pair into a modal button instead of
setting whether it was checked.
Diffstat (limited to 'tikzit/src/common/Graph.m')
0 files changed, 0 insertions, 0 deletions