JAL-3811 document SHOW_JWS2_SERVICES user preference and provide new menu option...
authorJim Procter <jprocter@issues.jalview.org>
Fri, 5 Feb 2021 17:03:12 +0000 (17:03 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 5 Feb 2021 17:03:12 +0000 (17:03 +0000)
commit8dadf27423ca69874dc6a3c9d416974ba5ae767f
tree9f3d145587945c932dde1130a959c03b96419e54
parente1aa3fdd1ca82abf5acc0cd3c2b86a5ca1083941
JAL-3811 document SHOW_JWS2_SERVICES user preference and provide new menu option for ‘one off’ JABAWS discovery if preference is disabled.
src/jalview/bin/Cache.java
src/jalview/gui/AlignFrame.java
src/jalview/gui/Desktop.java