Can shrink graph to zero
authoramwaterhouse <Andrew Waterhouse>
Tue, 29 Aug 2006 15:31:04 +0000 (15:31 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 29 Aug 2006 15:31:04 +0000 (15:31 +0000)
commitae282720c1bba85d9b52ebc2e85c6a9857b2c6db
tree5ff3bb7ea49a00293635ca9221447697477fd812
parent85e7124413aa336d8238dfb43f6e345c570b076e
Can shrink graph to zero
src/jalview/gui/AnnotationPanel.java