JAL-4389 Disable url editor if urls are not modifiable bug/JAL-4389-web-services-prefs-panel
authorMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 15 Mar 2024 16:37:29 +0000 (17:37 +0100)
committerMateusz Warowny <mmzwarowny@dundee.ac.uk>
Fri, 15 Mar 2024 16:37:29 +0000 (17:37 +0100)
commita187bcd7ecb0cf1b43af64450a5e0b0d35c87027
tree5004029ec82d8260a3b031e935e8baee55698a62
parentff20e75c28408c09803b8f9f15c02e7420e709e9
JAL-4389 Disable url editor if urls are not modifiable
src/jalview/gui/WS2PreferencesPanel.java
src/jalview/ws2/client/api/AbstractWebServiceDiscoverer.java
src/jalview/ws2/client/api/WebServiceDiscovererI.java