JAL-4389 Disable url editor if urls are not modifiable

[jalview.git] / src / jalview / gui / WS2PreferencesPanel.java

diff --git a/src/jalview/gui/WS2PreferencesPanel.java b/src/jalview/gui/WS2PreferencesPanel.java
index d5dc39e..b57d75c 100644 (file)
--- a/src/jalview/gui/WS2PreferencesPanel.java
+++ b/src/jalview/gui/WS2PreferencesPanel.java
@@ -364,6 +364,15 @@ public class WS2PreferencesPanel extends JPanel
     // Initial URLs loading
     this.discoverer = discoverer;
     urls.addAll(discoverer.getUrls());
+    if (!discoverer.isUrlsModifiable())
+    {
+      urlListTable.setEnabled(false);
+      newWsUrl.setEnabled(false);
+      editWsUrl.setEnabled(false);
+      deleteWsUrl.setEnabled(false);
+      moveUrlUp.setEnabled(false);
+      moveUrlDown.setEnabled(false);
+    }
     for (URL url : urls)
     {
       reloadStatusForUrl(url);