REmove component when frame is closed
authoramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 11:19:08 +0000 (11:19 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 23 Nov 2006 11:19:08 +0000 (11:19 +0000)
commit6a16b500740e60857ded1d3f8caf2388a0bc3a07
tree154d5d671d21adaf4aa3563349db656d17227142
parent01a838156a865a61389825b3c5c968b6d8eee8f3
REmove component when frame is closed
src/jalview/gui/Desktop.java
src/jalview/gui/PaintRefresher.java