From: Charles Ofoegbu Date: Mon, 17 Nov 2014 11:37:08 +0000 (+0000) Subject: updated documentation X-Git-Tag: Jalview_2_9~140^2~8^2^2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=b7d2ccfc00473457b8e27a5cae5057fc6cff78db;p=jalview.git updated documentation --- diff --git a/help/html/webServices/JABAWS.html b/help/html/webServices/JABAWS.html index a27a0d5..8c964b4 100644 --- a/help/html/webServices/JABAWS.html +++ b/help/html/webServices/JABAWS.html @@ -60,5 +60,7 @@ Your JABAWS servers list is stored in your Jalview preferences, so you will only have to configure Jalview once for each new server.

Support for accessing JABAWS servers was introduced in Jalview 2.6.

+

Option for adding JABAWS servers which fails validation +was introduced from version 2.8.2

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java index de89241..0674352 100644 --- a/src/jalview/gui/WsPreferences.java +++ b/src/jalview/gui/WsPreferences.java @@ -498,7 +498,7 @@ public class WsPreferences extends GWsPreferences Desktop.desktop, "The Server '" + foo.toString() - + "' failed validation, do you want to proceed and add it anyway? ", + + "' failed validation,\ndo you want to add it anyway? ", "Server Validation Failed", JOptionPane.YES_NO_OPTION, JOptionPane.INFORMATION_MESSAGE, null, null, null);