|Summary:||Tabulation in the 'Edit Transition' dialog.|
|Product:||UPPAAL||Reporter:||Ulrik Nyman <ulrik>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
Description Ulrik Nyman 2004-11-16 14:42:22 CET
Tabbing should move focus between the three text areas. After having created a new transition one usually wants to use the "Edit Transition" dialog to enter both Guard, Sync and Update. After having entered a guard one expects that pressing tab will give focus to the Sync text area. This is not the case.
Comment 1 Gerd Behrmann 2004-11-16 14:49:22 CET
The same might be said about the enter key. But I do not agree that one expects tab to move to the next field and enter to be equivalent to pressing ok: This is the case for single line fields, but not for multiline text areas (see Swing user interface guidelines). Here tab and enter should insert a tab character or a line break. The behaviour you request can be achieved with ctrl-tab and ctrl-enter. Again, see the Swing user interface guidelines.
Comment 2 Gerd Behrmann 2004-12-02 11:05:18 CET
Should I mark this bug INVALID or what should we do about it?
Comment 3 Gerd Behrmann 2005-02-04 16:04:29 CET
In 3.5 the meaning of TAB and control TAB has been reversed.