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

Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

It is not possible to undo resizing of annotation notes

« Back to merge proposal