Update overview in alignmentChanged
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Sep 2005 12:25:58 +0000 (12:25 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Sep 2005 12:25:58 +0000 (12:25 +0000)
commitd72c37ab022b3a8ff6f6cda1d3f09de5c5d004ab
treed979678c7a7a5b700214f70a130fc839c22908b7
parent7720c1e94b0b88c9be05becae787078f152d8c5b
Update overview in alignmentChanged
src/jalview/appletgui/APopupMenu.java
src/jalview/appletgui/AlignFrame.java
src/jalview/gui/AlignFrame.java