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

Bug 73

Summary: Slow scrolling in graphical windows
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: minor    
Priority: P2    
Version: 3.4.2   
Hardware: All   
OS: All   
Architecture:

Description Ulrik Nyman 2003-12-08 10:59:45 CET
When srolling in the editor window (and in the simulator overview of the
instantiated templates) the scroll rate is ne pixel. The speed of the scroll
should be incremented.

The solution to this could be:
JScrollBar jsb;
jsb.setUnitIncrement(10);
Of cause on the JScrollBar's used in the current JScrollPane's
Comment 1 Gerd Behrmann 2003-12-09 14:24:03 CET
A fix can be found in CVS.