X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsJobParameters.java;h=07e3a9b74275fbb7052c3ec27e490832f6314c60;hb=ad15cff29620f960119f80176f1fd443da9f6763;hp=8c889c91e86396f5afd17d3c00c6db9e9b01e2bc;hpb=754120d5f3f715b02600b1315c8926ba3e4504d7;p=jalview.git diff --git a/src/jalview/gui/WsJobParameters.java b/src/jalview/gui/WsJobParameters.java index 8c889c9..07e3a9b 100644 --- a/src/jalview/gui/WsJobParameters.java +++ b/src/jalview/gui/WsJobParameters.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) - * Copyright (C) 2014 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * @@ -436,7 +436,7 @@ public class WsJobParameters extends JPanel implements ItemListener, protected void revert_actionPerformed(ActionEvent e) { reInitDialog(lastParmSet); - + updateWebServiceMenus(); } protected void update_actionPerformed(ActionEvent e) @@ -465,6 +465,7 @@ public class WsJobParameters extends JPanel implements ItemListener, _deleteUserPreset(lastParmSet); } reInitDialog(null); // service default + updateWebServiceMenus(); } protected void create_actionPerformed(ActionEvent e) @@ -475,7 +476,9 @@ public class WsJobParameters extends JPanel implements ItemListener, _storeCurrentPreset(curname); lastParmSet = curname; isUserPreset = true; + reInitDialog(curname); initArgSetModified(); + updateWebServiceMenus(); } else { @@ -953,7 +956,7 @@ public class WsJobParameters extends JPanel implements ItemListener, { Vector services = new Vector(); services.addElement(args[p++]); - Jws2Discoverer.setServiceUrls(services); + Jws2Discoverer.getDiscoverer().setServiceUrls(services); } try { @@ -1295,7 +1298,18 @@ public class WsJobParameters extends JPanel implements ItemListener, SetNamePanel.validate(); validate(); settingDialog = false; + } + /** + * Rebuild the AlignFrame web service menus (after add/delete of a preset + * option). + */ + protected void updateWebServiceMenus() + { + for (AlignFrame alignFrame : Desktop.getAlignframes()) + { + alignFrame.BuildWebServiceMenu(); + } } String curSetName = null;