/*\r
* Jalview - A Sequence Alignment Editor and Viewer\r
- * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ * Copyright (C) 2007 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
*\r
* This program is free software; you can redistribute it and/or\r
* modify it under the terms of the GNU General Public License\r
\r
package jalview.appletgui;\r
\r
-import java.awt.*;\r
import java.applet.*;\r
-import java.awt.event.*;\r
import java.util.*;\r
\r
-public class Tooltip extends Canvas implements MouseListener,\r
+import java.awt.*;\r
+import java.awt.event.*;\r
+\r
+public class Tooltip\r
+ extends Canvas implements MouseListener,\r
MouseMotionListener\r
{\r
- private String [] tip;\r
- private String lastTip="";\r
- private boolean setPosition = false;\r
- protected Component owner;\r
-\r
- private Container mainContainer;\r
- private LayoutManager mainLayout;\r
-\r
- private boolean shown;\r
-\r
- private final int VERTICAL_OFFSET = 20;\r
- private final int HORIZONTAL_ENLARGE = 10;\r
-\r
- int fontHeight = 0;\r
-\r
- Image linkImage;\r
-\r
- FontMetrics fm;\r
-\r
- public Tooltip(String tip, Component owner)\r
- {\r
- this.owner = owner;\r
- owner.addMouseListener(this);\r
- owner.addMouseMotionListener(this);\r
- setBackground(new Color(255, 255, 220));\r
- setTip(tip);\r
- java.net.URL url = getClass().getResource("/images/link.gif");\r
- if (url != null)\r
- {\r
- linkImage = java.awt.Toolkit.getDefaultToolkit().getImage(url);\r
- }\r
- }\r
-\r
- public void paint(Graphics g)\r
- {\r
- int w = getSize().width;\r
- int h = getSize().height;\r
-\r
- g.drawRect(0, 0, w - 1, h - 1);\r
- int lindex, x;\r
- for (int i = 0; i < tip.length; i++)\r
- {\r
- x = 3;\r
- lindex = tip[i].indexOf("%LINK%");\r
- if (lindex != -1)\r
- {\r
- if (lindex > 0)\r
- {\r
- g.drawString(tip[i].substring(0, lindex), 3, (i + 1) * fontHeight - 3);\r
- x += fm.stringWidth(tip[i].substring(0, lindex) + 3);\r
- }\r
- g.drawImage(linkImage, x, i * fontHeight + 1, this);\r
- if (lindex + 6 < tip[i].length())\r
- {\r
- g.drawString(tip[i].substring(lindex + 6),\r
- x + linkImage.getWidth(this),\r
- (i + 1) * fontHeight - 3);\r
- }\r
- }\r
- else\r
- {\r
- g.drawString(tip[i], 3, (i + 1) * fontHeight - 3);\r
- }\r
- }\r
- }\r
-\r
- synchronized void setTip(String tip)\r
- {\r
- if(tip==null)\r
- {\r
- setTip("");\r
- return;\r
- }\r
-\r
- if(lastTip.equals(tip))\r
- return;\r
-\r
- lastTip = tip;\r
- setPosition = true;\r
-\r
- fm = getFontMetrics(owner.getFont());\r
- fontHeight = fm.getHeight();\r
-\r
- int longestLine = 0;\r
- StringTokenizer st = new StringTokenizer(tip, "\n");\r
- this.tip = new String[st.countTokens()];\r
- int index = 0;\r
- while(st.hasMoreElements())\r
- {\r
- this.tip[index] = st.nextToken();\r
- if(fm.stringWidth(this.tip[index])>longestLine)\r
- longestLine = fm.stringWidth(this.tip[index]);\r
- index ++;\r
- }\r
-\r
- setSize(longestLine + HORIZONTAL_ENLARGE,\r
- fontHeight*this.tip.length);\r
-\r
- repaint();\r
-\r
- }\r
-\r
- void setTipLocation(MouseEvent evt)\r
- {\r
- setLocation( (owner.getLocationOnScreen().x\r
- - mainContainer.getLocationOnScreen().x) + evt.getX(),\r
- (owner.getLocationOnScreen().y -\r
- mainContainer.getLocationOnScreen().y\r
- + VERTICAL_OFFSET) + evt.getY());\r
-\r
- // correction, whole tool tip must be visible\r
- if (mainContainer.getSize().width < (getLocation().x + getSize().width))\r
- {\r
- setLocation(mainContainer.getSize().width - getSize().width,\r
- getLocation().y);\r
- }\r
- }\r
-\r
-\r
- private void removeToolTip() {\r
- if (shown) {\r
- mainContainer.remove(0);\r
- mainContainer.setLayout(mainLayout);\r
- mainContainer.validate();\r
- }\r
- shown = false;\r
- }\r
-\r
- private void findMainContainer() {\r
- Container parent = owner.getParent();\r
- while (true) {\r
- if ((parent instanceof Applet) || (parent instanceof Frame)) {\r
- mainContainer = parent;\r
- break;\r
- } else {\r
- parent = parent.getParent();\r
- }\r
- }\r
- mainLayout = mainContainer.getLayout();\r
- }\r
-\r
- public void mouseEntered(MouseEvent me)\r
+ private String[] tip;\r
+ private String lastTip = "";\r
+ private boolean setPosition = false;\r
+ protected Component owner;\r
+\r
+ private Container mainContainer;\r
+ private LayoutManager mainLayout;\r
+\r
+ private boolean shown;\r
+\r
+ private final int VERTICAL_OFFSET = 20;\r
+ private final int HORIZONTAL_ENLARGE = 10;\r
+\r
+ int fontHeight = 0;\r
+\r
+ Image linkImage;\r
+\r
+ FontMetrics fm;\r
+\r
+ public Tooltip(String tip, Component owner)\r
+ {\r
+ this.owner = owner;\r
+ owner.addMouseListener(this);\r
+ owner.addMouseMotionListener(this);\r
+ setBackground(new Color(255, 255, 220));\r
+ setTip(tip);\r
+ java.net.URL url = getClass().getResource("/images/link.gif");\r
+ if (url != null)\r
+ {\r
+ linkImage = java.awt.Toolkit.getDefaultToolkit().getImage(url);\r
+ }\r
+ }\r
+\r
+ public void paint(Graphics g)\r
+ {\r
+ int w = getSize().width;\r
+ int h = getSize().height;\r
+\r
+ g.drawRect(0, 0, w - 1, h - 1);\r
+ int lindex, x;\r
+ for (int i = 0; i < tip.length; i++)\r
+ {\r
+ x = 3;\r
+ lindex = tip[i].indexOf("%LINK%");\r
+ if (lindex != -1)\r
+ {\r
+ if (lindex > 0)\r
{\r
- setTipLocation(me);\r
+ g.drawString(tip[i].substring(0, lindex), 3, (i + 1) * fontHeight - 3);\r
+ x += fm.stringWidth(tip[i].substring(0, lindex) + 3);\r
}\r
-\r
- public void mouseExited(MouseEvent me)\r
- {\r
- removeToolTip();\r
- }\r
-\r
- public void mousePressed(MouseEvent me)\r
- {\r
- removeToolTip();\r
- }\r
-\r
- public void mouseReleased(MouseEvent me)\r
- {}\r
-\r
- public void mouseClicked(MouseEvent me)\r
- {}\r
-\r
- public void mouseMoved(MouseEvent me)\r
+ g.drawImage(linkImage, x, i * fontHeight + 1, this);\r
+ if (lindex + 6 < tip[i].length())\r
{\r
- if(!shown)\r
- {\r
- findMainContainer();\r
- mainContainer.setLayout(null);\r
- mainContainer.add(this, 0);\r
- mainContainer.validate();\r
- shown = true;\r
- setTipLocation(me);\r
- }\r
- else if (setPosition)\r
- {\r
- setTipLocation(me);\r
- setPosition = false;\r
- }\r
+ g.drawString(tip[i].substring(lindex + 6),\r
+ x + linkImage.getWidth(this),\r
+ (i + 1) * fontHeight - 3);\r
}\r
-\r
- public void mouseDragged(MouseEvent me)\r
- {}\r
+ }\r
+ else\r
+ {\r
+ g.drawString(tip[i], 3, (i + 1) * fontHeight - 3);\r
+ }\r
+ }\r
+ }\r
+\r
+ synchronized void setTip(String tip)\r
+ {\r
+ if (tip == null)\r
+ {\r
+ setTip("");\r
+ return;\r
+ }\r
+\r
+ if (lastTip.equals(tip))\r
+ {\r
+ return;\r
+ }\r
+\r
+ lastTip = tip;\r
+ setPosition = true;\r
+\r
+ fm = getFontMetrics(owner.getFont());\r
+ fontHeight = fm.getHeight();\r
+\r
+ int longestLine = 0;\r
+ StringTokenizer st = new StringTokenizer(tip, "\n");\r
+ this.tip = new String[st.countTokens()];\r
+ int index = 0;\r
+ while (st.hasMoreElements())\r
+ {\r
+ this.tip[index] = st.nextToken();\r
+ if (fm.stringWidth(this.tip[index]) > longestLine)\r
+ {\r
+ longestLine = fm.stringWidth(this.tip[index]);\r
+ }\r
+ index++;\r
+ }\r
+\r
+ setSize(longestLine + HORIZONTAL_ENLARGE,\r
+ fontHeight * this.tip.length);\r
+\r
+ repaint();\r
+\r
+ }\r
+\r
+ void setTipLocation(MouseEvent evt)\r
+ {\r
+ setLocation( (owner.getLocationOnScreen().x\r
+ - mainContainer.getLocationOnScreen().x) + evt.getX(),\r
+ (owner.getLocationOnScreen().y -\r
+ mainContainer.getLocationOnScreen().y\r
+ + VERTICAL_OFFSET) + evt.getY());\r
+\r
+ // correction, whole tool tip must be visible\r
+ if (mainContainer.getSize().width < (getLocation().x + getSize().width))\r
+ {\r
+ setLocation(mainContainer.getSize().width - getSize().width,\r
+ getLocation().y);\r
+ }\r
+ }\r
+\r
+ private void removeToolTip()\r
+ {\r
+ if (shown)\r
+ {\r
+ mainContainer.remove(0);\r
+ mainContainer.setLayout(mainLayout);\r
+ mainContainer.validate();\r
+ }\r
+ shown = false;\r
+ }\r
+\r
+ private void findMainContainer()\r
+ {\r
+ Container parent = owner.getParent();\r
+ while (true)\r
+ {\r
+ if ( (parent instanceof Applet) || (parent instanceof Frame))\r
+ {\r
+ mainContainer = parent;\r
+ break;\r
+ }\r
+ else\r
+ {\r
+ parent = parent.getParent();\r
+ }\r
+ }\r
+ mainLayout = mainContainer.getLayout();\r
+ }\r
+\r
+ public void mouseEntered(MouseEvent me)\r
+ {\r
+ setTipLocation(me);\r
+ }\r
+\r
+ public void mouseExited(MouseEvent me)\r
+ {\r
+ removeToolTip();\r
+ }\r
+\r
+ public void mousePressed(MouseEvent me)\r
+ {\r
+ removeToolTip();\r
+ }\r
+\r
+ public void mouseReleased(MouseEvent me)\r
+ {}\r
+\r
+ public void mouseClicked(MouseEvent me)\r
+ {}\r
+\r
+ public void mouseMoved(MouseEvent me)\r
+ {\r
+ if (!shown)\r
+ {\r
+ findMainContainer();\r
+ mainContainer.setLayout(null);\r
+ mainContainer.add(this, 0);\r
+ mainContainer.validate();\r
+ shown = true;\r
+ setTipLocation(me);\r
+ }\r
+ else if (setPosition)\r
+ {\r
+ setTipLocation(me);\r
+ setPosition = false;\r
+ }\r
+ }\r
+\r
+ public void mouseDragged(MouseEvent me)\r
+ {}\r
}\r
git://source.jalview.org / jalview.git / blobdiff