Gui Modifications for Service Discovery.
authorjprocter <Jim Procter>
Wed, 17 Aug 2005 16:30:02 +0000 (16:30 +0000)
committerjprocter <Jim Procter>
Wed, 17 Aug 2005 16:30:02 +0000 (16:30 +0000)
commit9b9afd73c1bad3a4a098f3bc3185cf9315a9b1a8
tree5cfad4f8ba967b46fc42e2fd82cf41c887f3cc3f
parentbb6cfec0589998373f5542e630660b06485a7569
Gui Modifications for Service Discovery.
src/jalview/gui/AlignFrame.java
src/jalview/gui/AlignViewport.java
src/jalview/gui/Desktop.java
src/jalview/gui/WebserviceInfo.java