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