- * Response to the mouse wheel by scrolling the alignment panel.
- */
- @Override
- public void mouseWheelMoved(MouseWheelEvent e)
- {
- e.consume();
- double wheelRotation = e.getPreciseWheelRotation();
- if (wheelRotation > 0)
- {
- if (e.isShiftDown())
- {
- av.getRanges().scrollRight(true);
- }
- else
- {
- av.getRanges().scrollUp(false);
- }
- }
- else if (wheelRotation < 0)
- {
- if (e.isShiftDown())
- {
- av.getRanges().scrollRight(false);
- }
- else
- {
- av.getRanges().scrollUp(true);
- }
- }
- }
-
- /**