From eb712aa29e2bc62c57b90df8420052293dd90c6b Mon Sep 17 00:00:00 2001 From: gmungoc Date: Thu, 18 Aug 2016 16:20:50 +0100 Subject: [PATCH] JAL-2077 using Platform method to check for Ctrl-down --- src/jalview/gui/FeatureSettings.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java index 7d9e937..742ff8d 100644 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -182,9 +182,12 @@ public class FeatureSettings extends JPanel implements } else if (evt.getClickCount() == 2) { + boolean invertSelection = evt.isAltDown(); + boolean ctrlDown = Platform.isControlDown(evt); + boolean toggleSelection = ctrlDown; + boolean extendSelection = evt.isShiftDown() || ctrlDown; fr.ap.alignFrame.avc.markColumnsContainingFeatures( - evt.isAltDown(), evt.isShiftDown() || evt.isMetaDown(), - evt.isMetaDown(), + invertSelection, extendSelection, toggleSelection, (String) table.getValueAt(selectedRow, 0)); } } -- 1.7.10.2