Code review comment for lp:~tapaal-contributor/tapaal/hide-show-names-1921393

Undo is broken: to reproduce open intro example, use the dialog to hide both place/transition names and then manually show the name of one selected place. Then try to undo and nothing happens (the selected place should be now without name).