This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 113

Summary: Selection change after using the "Edit Transition" dialog
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Robert Olesen <egir>
Status: ASSIGNED ---    
Severity: enhancement CC: behrmann
Priority: P4    
Version: 3.5.7   
Hardware: All   
OS: All   
Architecture:

Description Ulrik Nyman 2004-11-16 14:55:13 CET
After having used the "Edit Transition" dialog to write Guard, Sync and Update
for a new transition, one often need to move the Guard, Sync and Update labels
that have just been created. It would thus be prefferential if these were all
selected after the use of the "Edit Transition" dialog. 

Currently the transition is selected after after using the "Edit Transition"
dialog. This makes perfectly sense, but one reason for changing the behaviour is
that the three items Guard, Sync and Update are harder to select manually than
the one transition.
Comment 1 Gerd Behrmann 2004-11-16 15:00:56 CET
I think you try to solve the wrong problem. Instead of fixing the symptom, we
should fix the real problem: Good automatic placement of the labels.
Comment 2 Gerd Behrmann 2005-01-04 12:51:09 CET
Anyway, this would be a nice feature. I will implement it when I get some time
(should be trivial to do).
Comment 3 Gerd Behrmann 2005-06-29 21:11:36 CEST
Moving bug to 3.5.7, as this is an enhancement bug and only bug fixes are allowed on 3.4.
Comment 4 Gerd Behrmann 2005-08-25 16:23:06 CEST
Reassigning to Mads.

Could you please take a look at this - simply select the labels of edges whenever the edge has been 
edited. The same should apply to locations.
Comment 5 Gerd Behrmann 2006-02-23 17:05:38 CET
Mads is too busy to work on these things. Robert, I hope you can find some time to do some work on 
these items.
Comment 6 Robert Olesen 2006-03-03 12:30:14 CET
ok