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

Bug 111 - Tabulation in the 'Edit Transition' dialog.
Summary: Tabulation in the 'Edit Transition' dialog.
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.7
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-11-16 14:42 CET by Ulrik Nyman
Modified: 2005-02-04 16:04 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.