git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ceb196) | patch
ensure listeners are deregistered when panel is closed. Fix a scrolling bug and apply...
authorjprocter <Jim Procter>
Mon, 8 Jun 2009 11:08:06 +0000 (11:08 +0000)
committerjprocter <Jim Procter>
Mon, 8 Jun 2009 11:08:06 +0000 (11:08 +0000)
commit0bc7bf031e9a20267bdc1e38fea24ebb64f4cca4
treeb738f4c8f8524f6676aed3c28e813a4a75d502fdtree | snapshot
parent8ceb196758338574e45b021e0aa4f9a78a8c8badcommit | diff
ensure listeners are deregistered when panel is closed. Fix a scrolling bug and apply gpl development license
src/jalview/gui/AlignmentPanel.java diff | blob | history