X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FJvSwingUtils.java;h=e7f992dd37faff03ba188e5f32600d10a4a1a75e;hb=9b943e6d79fd92f78a61916a6f6eb047ba0a9755;hp=41287d29fd49047ae59c9c41ce44f9dabf2701ae;hpb=17e4ea278bc9a5fb280db1252ce78b7a295215f5;p=jalview.git diff --git a/src/jalview/gui/JvSwingUtils.java b/src/jalview/gui/JvSwingUtils.java index 41287d2..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,20 +96,14 @@ public final class JvSwingUtils } return (enclose ? "" : "") - - // BH 2018 - + // BH 2018 + "
" - -// + "

" - - + ttext - - + "

" -// + "

" + // + "

" + + ttext + " " + // + "

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