git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8dda9ab) | patch
make sure web service menu is always refreshed on 'OK'
authorjprocter <Jim Procter>
Fri, 17 Sep 2010 17:13:30 +0000 (17:13 +0000)
committerjprocter <Jim Procter>
Fri, 17 Sep 2010 17:13:30 +0000 (17:13 +0000)
commitad2bc87d7b8ded21b39a817f1750f2b525c5cac0
tree21d28b85a2d2104279cc0a9e3ca7e6a8f9efd55etree | snapshot
parent8dda9abb8a38e6eea1ce93a7d746221d2cf59adfcommit | diff
make sure web service menu is always refreshed on 'OK'
src/jalview/gui/Preferences.java diff | blob | history
src/jalview/gui/WsPreferences.java diff | blob | history