X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=5908810c29dd4d1cbf442f91ec05ac556f9cc5db;hb=52835208007a37595aa07b40981a8609bad957e0;hp=113fd9f2dd7d14454aab158c9ba986de9f939338;hpb=7e00183505bd4c58d1ce62ee121ed372c3b058f2;p=jalview.git diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index 113fd9f..5908810 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -33,6 +33,8 @@ import jalview.viewmodel.AlignmentViewport; import jalview.viewmodel.ViewportRanges; import java.awt.BorderLayout; +import java.awt.event.ActionEvent; +import java.awt.event.ActionListener; import java.awt.event.MouseEvent; import java.awt.event.MouseListener; import java.awt.event.MouseMotionListener; @@ -43,6 +45,7 @@ import java.util.List; import javax.swing.JPanel; import javax.swing.JPopupMenu; import javax.swing.SwingUtilities; +import javax.swing.Timer; import javax.swing.ToolTipManager; /** @@ -252,17 +255,25 @@ public class IdPanel extends JPanel } /** - * DOCUMENT ME! + * On (re-)entering the panel, stop any scrolling * * @param e - * DOCUMENT ME! */ @Override public void mouseEntered(MouseEvent e) { + stopScrolling(); + } + + /** + * Interrupts the scroll thread if one is running + */ + void stopScrolling() + { if (scrollThread != null) { scrollThread.stopScrolling(); + scrollThread = null; } } @@ -280,16 +291,70 @@ public class IdPanel extends JPanel return; } - if (mouseDragging && (e.getY() < 0) - && (av.getRanges().getStartSeq() > 0)) + if (mouseDragging) { - scrollThread = new ScrollThread(true); + /* + * on mouse drag above or below the panel, start + * scrolling if there are more sequences to show + */ + ViewportRanges ranges = av.getRanges(); + if (e.getY() < 0 && ranges.getStartSeq() > 0) + { + startScrolling(true); + } + else if (e.getY() >= getHeight() + && ranges.getEndSeq() <= av.getAlignment().getHeight()) + { + startScrolling(false); + } } + } - if (mouseDragging && (e.getY() >= getHeight()) - && (av.getAlignment().getHeight() > av.getRanges().getEndSeq())) + /** + * Starts scrolling either up or down + * + * @param up + */ + void startScrolling(boolean up) + { + scrollThread = new ScrollThread(up); + if (!Platform.isJS()) { - scrollThread = new ScrollThread(false); + /* + * Java - run in a new thread + */ + scrollThread.start(); + } + else + { + /* + * for JalviewJS using Swing Timer + */ + Timer t = new Timer(20, new ActionListener() + { + @Override + public void actionPerformed(ActionEvent e) + { + if (scrollThread != null) + { + // if (!scrollOnce() {t.stop();}) gives compiler error :-( + scrollThread.scrollOnce(); + } + } + }); + t.addActionListener(new ActionListener() + { + @Override + public void actionPerformed(ActionEvent e) + { + if (scrollThread == null) + { + // IdPanel.stopScrolling called + t.stop(); + } + } + }); + t.start(); } } @@ -327,7 +392,7 @@ public class IdPanel extends JPanel * (where isPopupTrigger() will answer true) * NB isRightMouseButton is also true for Cmd-click on Mac */ - if (SwingUtilities.isRightMouseButton(e) && !Platform.isAMac()) + if (Platform.isWinRightButton(e)) { return; } @@ -485,7 +550,7 @@ public class IdPanel extends JPanel { if (scrollThread != null) { - scrollThread.stopScrolling(); + stopScrolling(); } MousePos pos = alignPanel.getSeqPanel().findMousePosition(e); @@ -510,7 +575,7 @@ public class IdPanel extends JPanel { getIdCanvas().setHighlighted(list); - if (list == null) + if (list == null || list.isEmpty()) { return; } @@ -554,7 +619,6 @@ public class IdPanel extends JPanel { this.up = up; setName("IdPanel$ScrollThread$" + String.valueOf(up)); - start(); } /** @@ -569,7 +633,7 @@ public class IdPanel extends JPanel * Scrolls the alignment either up or down, one row at a time, adding newly * visible sequences to the current selection. Speed is limited to a maximum * of ten rows per second. The thread exits when the end of the alignment is - * reached or a flag is set to stop it. + * reached or a flag is set to stop it by a call to stopScrolling. */ @Override public void run() @@ -578,25 +642,7 @@ public class IdPanel extends JPanel while (running) { - ViewportRanges ranges = IdPanel.this.av.getRanges(); - if (ranges.scrollUp(up)) - { - int toSeq = up ? ranges.getStartSeq() : ranges.getEndSeq(); - int fromSeq = toSeq < lastid ? lastid - 1 : lastid + 1; - IdPanel.this.selectSeqs(fromSeq, toSeq); - - lastid = toSeq; - } - else - { - /* - * scroll did nothing - reached limit of visible alignment - */ - running = false; - } - - alignPanel.paintAlignment(false, false); - + running = scrollOnce(); try { Thread.sleep(100); @@ -604,6 +650,27 @@ public class IdPanel extends JPanel { } } + IdPanel.this.scrollThread = null; + } + + /** + * Scrolls one row up or down. Answers true if a scroll could be done, false + * if not (top or bottom of alignment reached). + */ + boolean scrollOnce() + { + ViewportRanges ranges = IdPanel.this.av.getRanges(); + if (ranges.scrollUp(up)) + { + int toSeq = up ? ranges.getStartSeq() : ranges.getEndSeq(); + int fromSeq = toSeq < lastid ? lastid - 1 : lastid + 1; + IdPanel.this.selectSeqs(fromSeq, toSeq); + lastid = toSeq; + alignPanel.paintAlignment(false, false); + return true; + } + + return false; } } }