* Javascript - run every 20ms until scrolling stopped
* or reaches the limit of scrollable alignment
*/
- // java.util.Timer version:
- // Timer t = new Timer("ScrollThreadTimer", true);
- // TimerTask task = new TimerTask()
- // {
- // @Override
- // public void run()
- // {
- // if (!scrollThread.scrollOnce())
- // {
- // cancel();
- // }
- // }
- // };
- // t.schedule(task, 20, 20);
Timer t = new Timer(20, new ActionListener()
{
@Override
{
if (scrollThread == null)
{
- // finished and nulled itself
+ // SeqPanel.stopScrolling called
t.stop();
}
}