ensure listeners are deregistered when panel is closed. apply gpl development license
authorjprocter <Jim Procter>
Mon, 8 Jun 2009 11:08:32 +0000 (11:08 +0000)
committerjprocter <Jim Procter>
Mon, 8 Jun 2009 11:08:32 +0000 (11:08 +0000)
commitcaa1ed9069e0b43704854e4bd8d0a763056afad9
tree1435d6848b0103579cf7be9adc733e98c2ffb171
parent0bc7bf031e9a20267bdc1e38fea24ebb64f4cca4
ensure listeners are deregistered when panel is closed. apply gpl development license
src/jalview/gui/AlignFrame.java