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-3690 alternative servers menu fix
[jalview.git]
/
src
/
jalview
/
gui
/
AlignFrame.java
diff --git
a/src/jalview/gui/AlignFrame.java
b/src/jalview/gui/AlignFrame.java
index
71f8c7d
..
9e0fe6f
100644
(file)
--- a/
src/jalview/gui/AlignFrame.java
+++ b/
src/jalview/gui/AlignFrame.java
@@
-4410,6
+4410,7
@@
public class AlignFrame extends GAlignFrame
public void buildWebServicesMenu()
{
SwingUtilities.invokeLater(() -> {
public void buildWebServicesMenu()
{
SwingUtilities.invokeLater(() -> {
+ Cache.log.info("Rebuiling WS menu");
webService.removeAll();
if (Cache.getDefault("SHOW_SLIVKA_SERVICES", true))
{
webService.removeAll();
if (Cache.getDefault("SHOW_SLIVKA_SERVICES", true))
{
@@
-4461,7
+4462,8
@@
public class AlignFrame extends GAlignFrame
if (discoverer.hasServices())
{
PreferredServiceRegistry.getRegistry().populateWSMenuEntry(
if (discoverer.hasServices())
{
PreferredServiceRegistry.getRegistry().populateWSMenuEntry(
- discoverer.getServices(), null, menu, this, null);
+ discoverer.getServices(), sv -> buildWebServicesMenu(), menu,
+ this, null);
}
if (discoverer.isRunning())
{
}
if (discoverer.isRunning())
{