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

Bug 69

Summary: View->Variables... does not remember deselected variables
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P3    
Version: 3.4.2   
Hardware: All   
OS: Linux   

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