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

Revision history for this message
Jiri Srba (srba) wrote (last edit ):

The logics is broken. Run TAPAAL (notice that hide place/transitions names is set even though
it should not be), open a new net and go to view menu and click on "hide place names" which is now selected. Try to draw a new place and transition. The place has a name (even though it should not) and the transition does not have a name (even though it should).

review: Needs Fixing

« Back to merge proposal