TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/bug959196

  1. bug959196
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

Make new annotation, don't write anything and click "Cancel". The dialog is closed
but an empty square is created on the editing panel.

review: Needs Fixing

« Back to merge proposal