minor formatting of tooltip
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 May 2007 13:12:47 +0000 (13:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 May 2007 13:12:47 +0000 (13:12 +0000)
commit6de402db90987d3645f3429d9073c13678d8e980
tree6f8415f2263a61022291beaaa1c50189066399a4
parent925269bf89eada3ffac318d7523a9048c5ffd34e
minor formatting of tooltip
src/jalview/gui/AnnotationLabels.java
src/jalview/gui/IdPanel.java