Bug 73 - Slow scrolling in graphical windows
Summary: Slow scrolling in graphical windows
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.2
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2003-12-08 10:59 CET by Ulrik Nyman
Modified: 2004-03-15 07:43 CET (History)
0 users

See Also:
Architecture:


Attachments

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