|Summary:||Selection change after using the "Edit Transition" dialog|
|Product:||UPPAAL||Reporter:||Ulrik Nyman <ulrik>|
|Component:||GUI||Assignee:||Robert Olesen <egir>|
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