fontChanged method added, componentListener removed
authoramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:03:41 +0000 (08:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:03:41 +0000 (08:03 +0000)
commit8e67558df4403377d98e3efb232a10bf72fbcdbf
tree5ccd7277151081e3fccf495b7a8d392e6f56e7a8
parent46e5466ea2e77846fee48c68f0acce91bd690943
fontChanged method added, componentListener removed
src/jalview/gui/AlignmentPanel.java