JAL-3690 alternative servers menu fix
authorMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 17 Jul 2020 12:43:39 +0000 (13:43 +0100)
committerMateusz Warowny <mmzwarowny@dundee.ac.uk>
Mon, 20 Jul 2020 11:17:31 +0000 (12:17 +0100)
commitee9a37025c3bf1a79f11f53ff16bb5597ce0b52b
tree91345b5ea13e9ff7535567be67780dad8e2cca8e
parent01bf99892a24279c17fc18c19de0d1661f1faff2
JAL-3690 alternative servers menu fix
src/jalview/gui/AlignFrame.java
src/jalview/ws/jws2/PreferredServiceChangeListener.java [new file with mode: 0644]
src/jalview/ws/jws2/PreferredServiceRegistry.java
src/jalview/ws/slivkaws/SlivkaWSDiscoverer.java