Extreme decreasing in node space is broken

Bug #1870892 reported by Peter Haahr Taankvist
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Confirmed
Low
Unassigned

Bug Description

Make a place and a transition. Press shift+U until they are directly on top of each other (may take 20 clicks or more). Now press ctrl + U a bunch of times. No matter how many times you press it they will be on top of each other.

I suspect that extreme decrease in node space rounds the space to zero. Maybe increase node space should add a little space if the distance is zero.

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

Confirmed in versions brack to 3.3.0

Changed in tapaal:
status: New → Confirmed
importance: Undecided → Low
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.