From: hansonr Date: Wed, 23 Jan 2019 21:19:59 +0000 (-0600) Subject: Menus close properly, toolips restored X-Git-Tag: Release_2_11_4_0~45^2~18^2~297 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=15cc82b1969458c5ecd13160fb8d1a60773df2b5;p=jalview.git Menus close properly, toolips restored minor bug in SeqPanel I introduced some time ago. --- diff --git a/src/jalview/gui/SeqPanel.java b/src/jalview/gui/SeqPanel.java index 0a66114..5e117ca 100644 --- a/src/jalview/gui/SeqPanel.java +++ b/src/jalview/gui/SeqPanel.java @@ -824,7 +824,7 @@ public class SeqPanel extends JPanel mouseOverSequence(sequence, column, pos); } - tooltipText.setLength(6); // Cuts the buffer back to + tooltipText.setLength(0); SequenceGroup[] groups = av.getAlignment().findAllGroups(sequence); if (groups != null) @@ -860,7 +860,7 @@ public class SeqPanel extends JPanel seqARep.appendFeatures(tooltipText, pos, features, this.ap.getSeqPanel().seqCanvas.fr); } - if (tooltipText.length() == 6) // + if (tooltipText.length() == 0) // { setToolTipText(null); lastTooltip = null; @@ -877,8 +877,7 @@ public class SeqPanel extends JPanel { formattedTooltipText = JvSwingUtils.wrapTooltip(true, textString); - setToolTipText(formattedTooltipText); - + setToolTipText(formattedTooltipText); lastTooltip = textString; } } diff --git a/swingjs/SwingJS-site.zip b/swingjs/SwingJS-site.zip index 1562774..61e7c2c 100644 Binary files a/swingjs/SwingJS-site.zip and b/swingjs/SwingJS-site.zip differ diff --git a/swingjs/timestamp b/swingjs/timestamp index b2e806a..b0c15a3 100644 --- a/swingjs/timestamp +++ b/swingjs/timestamp @@ -1 +1 @@ -20190123102751 +20190123151510 diff --git a/swingjs/ver/3.2.4/SwingJS-site.zip b/swingjs/ver/3.2.4/SwingJS-site.zip index 1562774..61e7c2c 100644 Binary files a/swingjs/ver/3.2.4/SwingJS-site.zip and b/swingjs/ver/3.2.4/SwingJS-site.zip differ diff --git a/swingjs/ver/3.2.4/timestamp b/swingjs/ver/3.2.4/timestamp index b2e806a..b0c15a3 100644 --- a/swingjs/ver/3.2.4/timestamp +++ b/swingjs/ver/3.2.4/timestamp @@ -1 +1 @@ -20190123102751 +20190123151510