git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
}
@Override
- public void servicesChanged(WebServiceDiscoverer discoverer,
- Collection<? extends WebServiceI> services)
+ public void operationsChanged(WebServiceDiscoverer discoverer,
+ List<Operation> list)
{
buildWebServicesMenu();
}
{
buildWebServicesMenu();
}
@@
-4731,8
+4731,7
@@
public class AlignFrame extends GAlignFrame
if (discoverer.hasServices())
{
var builder = new WebServicesMenuBuilder();
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);
builder.addSelectedHostChangeListener((name, op) -> {
menu.removeAll();
builder.buildMenu(menu, this);