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 'doc/JAL-4090_Release_2_11_3_0' into develop
[jalview.git]
/
src
/
jalview
/
appletgui
/
Tooltip.java
diff --git
a/src/jalview/appletgui/Tooltip.java
b/src/jalview/appletgui/Tooltip.java
index
31a3c37
..
d629cf6
100755
(executable)
--- a/
src/jalview/appletgui/Tooltip.java
+++ b/
src/jalview/appletgui/Tooltip.java
@@
-1,6
+1,6
@@
/*
/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b2)
- * Copyright (C) 2015 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
*
* This file is part of Jalview.
*
*
* This file is part of Jalview.
*
@@
-35,8
+35,8
@@
import java.awt.event.MouseListener;
import java.awt.event.MouseMotionListener;
import java.util.StringTokenizer;
import java.awt.event.MouseMotionListener;
import java.util.StringTokenizer;
-public class Tooltip extends Canvas implements MouseListener,
- MouseMotionListener
+public class Tooltip extends Canvas
+ implements MouseListener, MouseMotionListener
{
private String[] tip;
{
private String[] tip;
@@
-91,8
+91,8
@@
public class Tooltip extends Canvas implements MouseListener,
{
if (lindex > 0)
{
{
if (lindex > 0)
{
- g.drawString(tip[i].substring(0, lindex), 3, (i + 1) * fontHeight
- - 3);
+ g.drawString(tip[i].substring(0, lindex), 3,
+ (i + 1) * fontHeight - 3);
x += fm.stringWidth(tip[i].substring(0, lindex) + 3);
}
g.drawImage(linkImage, x, i * fontHeight + 1, this);
x += fm.stringWidth(tip[i].substring(0, lindex) + 3);
}
g.drawImage(linkImage, x, i * fontHeight + 1, this);
@@
-155,11
+155,11
@@
public class Tooltip extends Canvas implements MouseListener,
return;
}
setLocation(
return;
}
setLocation(
- (owner.getLocationOnScreen().x - mainContainer.getLocationOnScreen().x)
- + evt.getX(),
+ (owner.getLocationOnScreen().x
+ - mainContainer.getLocationOnScreen().x) + evt.getX(),
(owner.getLocationOnScreen().y
(owner.getLocationOnScreen().y
- - mainContainer.getLocationOnScreen().y + VERTICAL_OFFSET)
- + evt.getY());
+ - mainContainer.getLocationOnScreen().y
+ + VERTICAL_OFFSET) + evt.getY());
// correction, whole tool tip must be visible
if (mainContainer.getSize().width < (getLocation().x + getSize().width))
// correction, whole tool tip must be visible
if (mainContainer.getSize().width < (getLocation().x + getSize().width))