*/
package jalview.gui;
-import jalview.util.MessageManager;
-
import java.awt.BorderLayout;
import java.awt.Color;
import java.awt.Component;
import javax.swing.border.Border;
import javax.swing.border.TitledBorder;
+import jalview.util.MessageManager;
+
/**
* useful functions for building Swing GUIs
*
if (ttext.contains("<br>"))
{
- String[] htmllines = ttext.split("<br>");
- for (String line : htmllines)
- {
- maxLengthExceeded = line.length() > 60;
- if (maxLengthExceeded)
- {
- break;
- }
- }
+ maxLengthExceeded = false;
+// String[] htmllines = ttext.split("<br>");
+// for (String line : htmllines)
+// {
+// maxLengthExceeded = line.length() > 60;
+// if (maxLengthExceeded)
+// {
+// break;
+// }
+// }
}
else
{
}
return (enclose ? "<html>" : "")
-
// BH 2018
-
- + "<style> div.ttip {width:350px;white-space:pre-wrap;padding:2px;overflow-wrap:break-word;}</style><div class=\"ttip\">"
-
+ + "<style> div.ttip {width:350px;white-space:pre-wrap;margin:2px;overflow-wrap:break-word;}</style><div class=\"ttip\">"
// + "<style> p.ttip {width:350px;margin:-14px 0px -14px 0px;padding:2px;overflow-wrap:break-word;}"
// + "</style><p class=\"ttip\">"
-
+ ttext
-
+ " </div>"
// + "</p>"
+ ((enclose ? "</html>" : ""));
-
}
public static JButton makeButton(String label, String tooltip,