When stepping (or running etc.) in Uppaal Port, it would be nice if the "sequence diagram" window could automatically scroll down to the latest (or otherwise relevant) event.
Logged In: YES user_id=803361 Originator: YES
Raising priority, looked at how this relates to other items on the wist list.....
Log in to post a comment.
Logged In: YES
user_id=803361
Originator: YES
Raising priority, looked at how this relates to other items on the wist list.....