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

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

> The problem with pressing shift+U many times still persists:
>
> Open alternating-bit-protocol-components
>
> press shift+U 23 times
>
> now press ctrl+U some times
>
> The spacing will not increase, rather the places will all stay on top of each
> other and arcpathpoints will fly everywhere.

What's worse is that the same happens with ctrl+z

« Back to merge proposal