X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdPanel.java;h=4b5e9d432502be0539bfac32720696778122ca3e;hb=339d1bf247a3b0d000044892bee3d5668a8d9b11;hp=3ce9d4d8ac97de97188d1335ad97fb4325662e4f;hpb=5a631296dd1dcc1df7b50487a647c27333696c74;p=jalview.git diff --git a/src/jalview/gui/IdPanel.java b/src/jalview/gui/IdPanel.java index 3ce9d4d..4b5e9d4 100755 --- a/src/jalview/gui/IdPanel.java +++ b/src/jalview/gui/IdPanel.java @@ -21,6 +21,8 @@ package jalview.gui; 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; @@ -31,6 +33,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; import jalview.datamodel.AlignmentAnnotation; @@ -248,17 +251,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; } } @@ -276,16 +287,72 @@ 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()) + { + /* + * 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(); + } + else + /** + * Java only + * + * @j2sIgnore + */ { - scrollThread = new ScrollThread(false); + scrollThread.start(); } } @@ -323,7 +390,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; } @@ -465,7 +532,7 @@ public class IdPanel extends JPanel { if (scrollThread != null) { - scrollThread.stopScrolling(); + stopScrolling(); } MousePos pos = alignPanel.getSeqPanel().findMousePosition(e); @@ -534,7 +601,6 @@ public class IdPanel extends JPanel { this.up = up; setName("IdPanel$ScrollThread$" + String.valueOf(up)); - start(); } /** @@ -549,7 +615,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() @@ -558,25 +624,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); @@ -584,6 +632,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; } } }