Resize image if id width changes
authoramwaterhouse <Andrew Waterhouse>
Fri, 28 Jul 2006 16:06:10 +0000 (16:06 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 28 Jul 2006 16:06:10 +0000 (16:06 +0000)
commit4e842e62451b0c2001740216fbeb2f68b01f6da8
treeb47e669181a2699c998a05323b7c626e931b2981
parent612a0d5bdd02f8eb03760d9b773609d46504c683
Resize image if id width changes
src/jalview/gui/IdCanvas.java