From 8f56279671fd43b29887fcb33efb52795287342c Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 5 Apr 2006 11:40:16 +0000 Subject: [PATCH] Shift also for group editing --- src/jalview/gui/AlignmentPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index dfa757e..00f27aa 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -156,14 +156,14 @@ public class AlignmentPanel extends GAlignmentPanel case KeyEvent.VK_SPACE: if(av.cursorMode) { - seqPanel.insertGapAtCursor(evt.isControlDown()); + seqPanel.insertGapAtCursor(evt.isControlDown() || evt.isShiftDown()); } break; case KeyEvent.VK_DELETE: if(av.cursorMode) { - seqPanel.deleteGapAtCursor(evt.isControlDown()); + seqPanel.deleteGapAtCursor(evt.isControlDown() || evt.isShiftDown()); } break; -- 1.7.10.2