annotation might have been deleted
authoramwaterhouse <Andrew Waterhouse>
Fri, 2 Feb 2007 17:17:39 +0000 (17:17 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 2 Feb 2007 17:17:39 +0000 (17:17 +0000)
commit3d9d1f6c1c1da3b2657f9ebb95430d0bc8dde873
treea1e1e49dde740d1547dce19173fcfa736a967f4c
parent82483c09d45298e6f93a7d3d2b537598cc0451b5
annotation might have been deleted
src/jalview/gui/AnnotationLabels.java