From 3730ef528b26ad0fc89a591ead2d44b90af86dfa Mon Sep 17 00:00:00 2001 From: gmungoc Date: Fri, 15 Sep 2017 11:00:46 +0100 Subject: [PATCH] JAL-741 add tooltip to feature group checkbox --- src/jalview/gui/FeatureSettings.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java index bd74db5..0963b31 100644 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -528,6 +528,7 @@ public class FeatureSettings extends JPanel final String grp = group; final JCheckBox check = new JCheckBox(group, visible); check.setFont(new Font("Serif", Font.BOLD, 12)); + check.setToolTipText(group); check.addItemListener(new ItemListener() { @Override -- 1.7.10.2