From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 18 Aug 2016 15:20:50 +0000 (+0100)
Subject: JAL-2077 using Platform method to check for Ctrl-down
X-Git-Tag: Release_2_10_0~100^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=eb712aa29e2bc62c57b90df8420052293dd90c6b;p=jalview.git

JAL-2077 using Platform method to check for Ctrl-down
---

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));
         }
       }