git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'develop' into features/JAL-2446NCList
[jalview.git]
/
src
/
jalview
/
gui
/
SeqPanel.java
diff --git
a/src/jalview/gui/SeqPanel.java
b/src/jalview/gui/SeqPanel.java
index
fd6232d
..
ab5bc49
100644
(file)
--- a/
src/jalview/gui/SeqPanel.java
+++ b/
src/jalview/gui/SeqPanel.java
@@
-84,6
+84,16
@@
public class SeqPanel extends JPanel implements MouseListener,
/** DOCUMENT ME!! */
public AlignmentPanel ap;
/** DOCUMENT ME!! */
public AlignmentPanel ap;
+ /*
+ * last column position for mouseMoved event
+ */
+ private int lastMouseColumn;
+
+ /*
+ * last sequence offset for mouseMoved event
+ */
+ private int lastMouseSeq;
+
protected int lastres;
protected int startseq;
protected int lastres;
protected int startseq;
@@
-170,6
+180,9
@@
public class SeqPanel extends JPanel implements MouseListener,
ssm.addStructureViewerListener(this);
ssm.addSelectionListener(this);
}
ssm.addStructureViewerListener(this);
ssm.addSelectionListener(this);
}
+
+ lastMouseColumn = -1;
+ lastMouseSeq = -1;
}
int startWrapBlock = -1;
}
int startWrapBlock = -1;
@@
-720,6
+733,15
@@
public class SeqPanel extends JPanel implements MouseListener,
{
return;
}
{
return;
}
+ if (column == lastMouseColumn && seq == lastMouseSeq)
+ {
+ /*
+ * just a pixel move without change of residue
+ */
+ return;
+ }
+ lastMouseColumn = column;
+ lastMouseSeq = seq;
SequenceI sequence = av.getAlignment().getSequenceAt(seq);
SequenceI sequence = av.getAlignment().getSequenceAt(seq);
@@
-775,18
+797,15
@@
public class SeqPanel extends JPanel implements MouseListener,
}
else
{
}
else
{
- if (lastTooltip == null
- || !lastTooltip.equals(tooltipText.toString()))
+ String textString = tooltipText.toString();
+ if (lastTooltip == null || !lastTooltip.equals(textString))
{
String formatedTooltipText = JvSwingUtils.wrapTooltip(true,
{
String formatedTooltipText = JvSwingUtils.wrapTooltip(true,
- tooltipText.toString());
- // String formatedTooltipText = tooltipText.toString();
+ textString);
setToolTipText(formatedTooltipText);
setToolTipText(formatedTooltipText);
- lastTooltip = tooltipText.toString();
+ lastTooltip = textString;
}
}
-
}
}
-
}
private Point lastp = null;
}
private Point lastp = null;