Update overviewImage if font changed
authoramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:13 +0000 (12:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 26 Aug 2005 12:42:13 +0000 (12:42 +0000)
commit734927d0150e9d43593e5a2aea1fc06613a9d873
tree3e6f42d4326b56966ed82c3bda289a96a568cb2e
parent4e3fecb20e20755e68d22e234138e853864519c4
Update overviewImage if font changed
src/jalview/gui/AlignmentPanel.java