{
scrollThread.running = false;
}
- // if (mouseDragging)
- {
- // always send selection message when mouse is released
- av.sendSelection();
-
- }
mouseDragging = false;
PaintRefresher.Refresh(this, av.getSequenceSetId());
+ // always send selection message when mouse is released
+ av.sendSelection();
}
/**