resizeAgain flag set if user resizes whilst image is being prepared
authoramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:52 +0000 (12:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:52 +0000 (12:42 +0000)
commita8458ff4b33d8deb7e09a39b8ce5576880f6a862
tree93dfb01c337438061b7bc45c516aa03090f5175a
parent734927d0150e9d43593e5a2aea1fc06613a9d873
resizeAgain flag set if user resizes whilst image is being prepared
src/jalview/gui/OverviewPanel.java