JAL-345 add to AlignViewController API and define a keystroke listener following...

[jalview.git] / src / jalview / gui / AlignFrame.java

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 0fdc9f0..54e9955 100644 (file)
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -687,6 +687,17 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
                   toggleSel);
           break;
         }
+        case KeyEvent.VK_K:
+        {
+          boolean toggleSel = evt.isControlDown() || evt.isMetaDown();
+          boolean modifyExisting = true; // always modify, don't clear
+                                         // evt.isShiftDown();
+          boolean invertHighlighted = evt.isAltDown();
+          avc.selectHighlightedSequences(invertHighlighted, modifyExisting,
+                  toggleSel);
+          break;
+        }
+
         case KeyEvent.VK_PAGE_UP:
           viewport.getRanges().pageUp();
           break;