From: gmungoc Date: Fri, 15 Sep 2017 10:00:46 +0000 (+0100) Subject: JAL-741 add tooltip to feature group checkbox X-Git-Tag: Release_2_11_0~248 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=3730ef528b26ad0fc89a591ead2d44b90af86dfa;p=jalview.git JAL-741 add tooltip to feature group checkbox --- 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