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

Bug 111

Summary: Tabulation in the 'Edit Transition' dialog.
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P2    
Version: 3.4.7   
Hardware: All   
OS: All   

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.