X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FJvSwingUtils.java;h=e7f992dd37faff03ba188e5f32600d10a4a1a75e;hb=b9b1f47cc74bbec8c28b75776e1d00c258215dfb;hp=7a5dde64121167ae52a97f752bcc62f5bda42d26;hpb=586b87fca07c53c935ffe67827e498eb80fad4bf;p=jalview.git diff --git a/src/jalview/gui/JvSwingUtils.java b/src/jalview/gui/JvSwingUtils.java index 7a5dde6..e7f992d 100644 --- a/src/jalview/gui/JvSwingUtils.java +++ b/src/jalview/gui/JvSwingUtils.java @@ -20,8 +20,6 @@ */ package jalview.gui; -import jalview.util.MessageManager; - import java.awt.BorderLayout; import java.awt.Color; import java.awt.Component; @@ -48,6 +46,8 @@ import javax.swing.SwingConstants; import javax.swing.border.Border; import javax.swing.border.TitledBorder; +import jalview.util.MessageManager; + /** * useful functions for building Swing GUIs * @@ -96,9 +96,14 @@ public final class JvSwingUtils } return (enclose ? "" : "") - + "

" - + ttext + "

" + ((enclose ? "" : "")); - + // BH 2018 + + "
" + // + "

" + + ttext + "

" + // + "

" + + ((enclose ? "" : "")); } public static JButton makeButton(String label, String tooltip, @@ -341,6 +346,7 @@ public final class JvSwingUtils combo.setToolTipText(tooltips.get(j)); } } + @Override public void mouseExited(MouseEvent e) {