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

Bug 69 - View->Variables... does not remember deselected variables
Summary: View->Variables... does not remember deselected variables
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.2
Hardware: All Linux
: P3 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2003-11-21 11:19 CET by Ulrik Nyman
Modified: 2004-03-15 07:43 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 2003-11-21 11:19:08 CET
Unlike the View->Processes... menu item that remember which processes has been
deselected, the View->Variables... does not.

You are simulating a system with lots of variables. You decide to deselect half
of them. If afterwards want to deselect a single extra variable, you have to
again deselect all the variables you deselected the first time.
Comment 1 Gerd Behrmann 2003-12-08 17:44:23 CET
I have checked in a fix. While I was at it, I also replaced the old dialog for choosing visible 
variables/processes. The new dialog uses a list of check boxes in a scroll pane rather than the two 
column view used in the old dialog. The dialog is works better for systems with a large number of