From: Ben Soares <b.soares@dundee.ac.uk>
Date: Tue, 21 Jul 2020 11:41:31 +0000 (+0100)
Subject: JAL-3633 label.proxy_server -> label.proxy_servers
X-Git-Tag: Develop-2_11_2_0-d20201215~15^2~22
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c9d2ded3b38b5f48496c33467f4037af125b15b2;p=jalview.git

JAL-3633 label.proxy_server -> label.proxy_servers
---

diff --git a/resources/lang/Messages.properties b/resources/lang/Messages.properties
index 7918cd0..a74109a 100644
--- a/resources/lang/Messages.properties
+++ b/resources/lang/Messages.properties
@@ -623,7 +623,7 @@ label.delete_service_url = Delete Service URL
 label.details = Details
 label.options = Options
 label.parameters = Parameters
-label.proxy_server = Proxy Server
+label.proxy_servers = Proxy Servers
 label.file_output = File Output
 label.select_input_type = Select input type
 label.set_options_for_type = Set options for type
diff --git a/resources/lang/Messages_es.properties b/resources/lang/Messages_es.properties
index c9f6bac..d16e9d6 100644
--- a/resources/lang/Messages_es.properties
+++ b/resources/lang/Messages_es.properties
@@ -575,7 +575,7 @@ label.delete_service_url = Borrar la URL del servicio
 label.details = Detalles
 label.options = Opciones
 label.parameters = Paramétros
-label.proxy_server = Servidor proxy
+label.proxy_servers = Servidores proxy
 label.file_output = Fichero de salida
 label.select_input_type = Seleccionar el tipo de entrada
 label.set_options_for_type = Establecer opciones para el tipo
diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index b40380a..4ac1825 100755
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -963,7 +963,7 @@ public class GPreferences extends JPanel
     // Make proxy server panel
     JPanel proxyPanel = new JPanel();
     TitledBorder titledBorder1 = new TitledBorder(
-            MessageManager.getString("label.proxy_server"));
+            MessageManager.getString("label.proxy_servers"));
     proxyPanel.setBorder(titledBorder1);
     GridBagConstraints gbc = new GridBagConstraints();
     proxyPanel.setLayout(new GridBagLayout());