Update overview after change
authoramwaterhouse <Andrew Waterhouse>
Mon, 12 Sep 2005 12:26:25 +0000 (12:26 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 12 Sep 2005 12:26:25 +0000 (12:26 +0000)
commit3dc211ddfada6bd9036697ec8236c188f131b84f
tree53058ed3812b211d1455d46fe74a701021f769ad
parentd72c37ab022b3a8ff6f6cda1d3f09de5c5d004ab
Update overview after change
src/jalview/gui/PopupMenu.java