JAL-3878 Separate gui elements from operations.

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

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 3d00450..3336663 100644 (file)
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -918,8 +918,8 @@ public class AlignFrame extends GAlignFrame
   }
 
   @Override
-  public void servicesChanged(WebServiceDiscoverer discoverer,
-          Collection<? extends WebServiceI> services)
+  public void operationsChanged(WebServiceDiscoverer discoverer,
+      List<Operation> list)
   {
     buildWebServicesMenu();
   }
@@ -4731,8 +4731,7 @@ public class AlignFrame extends GAlignFrame
     if (discoverer.hasServices())
     {
       var builder = new WebServicesMenuBuilder();
-      for (var service : discoverer.getServices())
-        builder.addAllOperations(service.getOperations());
+      builder.addAllOperations(discoverer.getOperations());
       builder.addSelectedHostChangeListener((name, op) -> {
         menu.removeAll();
         builder.buildMenu(menu, this);