ensure das sequence sources are refreshed when das registry is changed
authorjprocter <Jim Procter>
Tue, 5 Aug 2008 14:51:23 +0000 (14:51 +0000)
committerjprocter <Jim Procter>
Tue, 5 Aug 2008 14:51:23 +0000 (14:51 +0000)
commit3b24654f2ada868e8a3771427cc9b180f78f2020
tree6dfcb087eab7c91917f314961f96f62c8e3eb1b9
parent84e05495217a92a9b55e15ea8fe454515c6776d5
ensure das sequence sources are refreshed when das registry is changed
src/jalview/gui/DasSourceBrowser.java
src/jalview/gui/SequenceFetcher.java