From 33e768e53665784aeccf38a95deff97a1141ce31 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 12 Sep 2006 09:20:18 +0000 Subject: [PATCH] Allow alt for group editing --- src/jalview/gui/AlignmentPanel.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 811c909..94e2a84 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -152,7 +152,9 @@ public class AlignmentPanel extends GAlignmentPanel case KeyEvent.VK_SPACE: if(av.cursorMode) { - seqPanel.insertGapAtCursor(evt.isControlDown() || evt.isShiftDown()); + seqPanel.insertGapAtCursor(evt.isControlDown() + || evt.isShiftDown() + || evt.isAltDown()); } break; @@ -163,7 +165,9 @@ public class AlignmentPanel extends GAlignmentPanel alignFrame.cut_actionPerformed(null); } else - seqPanel.deleteGapAtCursor(evt.isControlDown() || evt.isShiftDown()); + seqPanel.deleteGapAtCursor(evt.isControlDown() + || evt.isShiftDown() + || evt.isAltDown()); break; -- 1.7.10.2