JAL-1445 (shift+) double click on feature type in desktop feature settings to select...

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index 9adb254..d7f05dc 100644 (file)
--- a/src/jalview/gui/FeatureSettings.java
+++ b/src/jalview/gui/FeatureSettings.java
@@ -105,6 +105,12 @@ public class FeatureSettings extends JPanel
                   table.getValueAt(selectedRow, 1), fr.minmax, evt.getX(),
                   evt.getY());
         }
+        else if (evt.getClickCount() == 2)
+        {
+          fr.ap.alignFrame.avc.markColumnsContainingFeatures(
+                  evt.isShiftDown(),
+                  (String) table.getValueAt(selectedRow, 0));
+        }
       }
     });