X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fws%2Fjws2%2FJws2Discoverer.java;h=69818a9da9736e6f8fd5fb43a3a049c777e50ad3;hb=58afea88095280d807e5c2ac8b9155de5ba3503c;hp=144a8601357ab2b76ad232d1bbad6192f93b09fb;hpb=623754a508cea1f935687af26783436979a7331a;p=jalview.git diff --git a/src/jalview/ws/jws2/Jws2Discoverer.java b/src/jalview/ws/jws2/Jws2Discoverer.java index 144a860..69818a9 100644 --- a/src/jalview/ws/jws2/Jws2Discoverer.java +++ b/src/jalview/ws/jws2/Jws2Discoverer.java @@ -24,6 +24,7 @@ import jalview.bin.Cache; import jalview.gui.AlignFrame; import jalview.gui.Desktop; import jalview.gui.JvSwingUtils; +import jalview.util.MessageManager; import jalview.ws.WSMenuEntryProviderI; import jalview.ws.jws2.jabaws2.Jws2Instance; import jalview.ws.params.ParamDatastoreI; @@ -387,14 +388,14 @@ public class Jws2Discoverer implements Runnable, WSMenuEntryProviderI } }); hitm.setToolTipText(JvSwingUtils - .wrapTooltip("Opens the JABAWS server's homepage in web browser")); + .wrapTooltip(MessageManager.getString("label.open_jabaws_web_page "))); service.attachWSMenuEntry(atpoint, alignFrame); if (alternates.containsKey(service.serviceType)) { - atpoint.add(hitm = new JMenu("Switch server")); + atpoint.add(hitm = new JMenu(MessageManager.getString("label.switch_server"))); hitm.setToolTipText(JvSwingUtils - .wrapTooltip("Choose a server for running this service")); + .wrapTooltip(MessageManager.getString("label.choose_jabaws_server"))); for (final Jws2Instance sv : alternates.get(service.serviceType)) { JMenuItem itm; @@ -483,7 +484,7 @@ public class Jws2Discoverer implements Runnable, WSMenuEntryProviderI atpoint = JvSwingUtils.findOrCreateMenu(atpoint, host); if (atpoint.getToolTipText() == null) { - atpoint.setToolTipText("Services at " + host); + atpoint.setToolTipText(MessageManager.formatMessage("label.services_at", new String[]{host})); } } if (bytype) @@ -528,7 +529,7 @@ public class Jws2Discoverer implements Runnable, WSMenuEntryProviderI } }); hitm.setToolTipText(JvSwingUtils - .wrapTooltip("Opens the JABAWS server's homepage in web browser")); + .wrapTooltip(MessageManager.getString("label.open_jabaws_web_page"))); lasthostFor.put(service.action, host); } hostLabels.add(host + service.serviceType