From dad6a2d9da7abf2a26add4e862bdee11aedfaf58 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Fri, 15 Mar 2019 15:55:31 +0000 Subject: [PATCH] JAL-3210 ensure tooltips on FeatureSettings in JS --- 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 33c22f4..3dc7f98 100644 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -255,6 +255,7 @@ public class FeatureSettings extends JPanel tableHeader.setFont(new Font("Verdana", Font.PLAIN, 12)); tableHeader.setReorderingAllowed(false); table.setFont(new Font("Verdana", Font.PLAIN, 12)); + ToolTipManager.sharedInstance().registerComponent(table); table.setDefaultEditor(FeatureColour.class, new ColorEditor()); table.setDefaultRenderer(FeatureColour.class, new ColorRenderer()); -- 1.7.10.2