TAPAAL

Code review comment for lp:~yrke/tapaal/cleanup-PNO-namingAndInterface

  1. cleanup-PNO-namingAndInterface
  2. Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

Open alternating-bit-protocol-components. Zoom in full -> Press Ctrl+U 3 times -> zoom out to 100%. Now the Annotation Note is placed weirdly. Additionally, press ctrl+z 3 times, and it is still placed weirdly, until we zoom again.

« Back to merge proposal