git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: aa1a9b0)
JAL-741 add tooltip to feature group checkbox
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 15 Sep 2017 10:00:46 +0000 (11:00 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 15 Sep 2017 10:00:46 +0000 (11:00 +0100)
src/jalview/gui/FeatureSettings.java patch | blob | history

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index bd74db5..0963b31 100644 (file)
--- 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