From fd4d7f8d455deb79c823a430364053564c23ca3c Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 11 Feb 2005 12:44:21 +0000
Subject: [PATCH] add VK_F key, up down

---
 src/jalview/gui/AlignmentPanel.java |   23 +++++++++++------------
 1 file changed, 11 insertions(+), 12 deletions(-)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 0808f17..3ce9fa1 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -60,7 +60,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
      {
        switch(evt.getKeyCode())
        {
-         case 27: // escape key
+         case  27: // escape key
            av.setRubberbandGroup(null);
            RefreshPanels();
            break;
@@ -76,22 +76,21 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
          case KeyEvent.VK_A:
            alignFrame.selectAllSequenceMenuItem_actionPerformed(null);
            break;
-
+        case KeyEvent.VK_DOWN:
+          alignFrame.moveSelectedSequences(false);
+          break;
+        case KeyEvent.VK_UP:
+          alignFrame.moveSelectedSequences(true);
+          break;
+        case KeyEvent.VK_F:
+          alignFrame.findMenuItem_actionPerformed(null);
+          break;
        }
-
-      /* public void doKeyPressed(KeyEvent evt)
-       {
-
-         if (evt.isControlDown() && evt.getKeyChar() == 'f')
-           findMenuItem_actionPerformed(null);
-       }*/
-
      }
    });
-
-
   }
 
+
  public void highlightSearchResults(int [] results)
  {
    seqPanel.seqCanvas.highlightSearchResults( results );
-- 
1.7.10.2