From c9d2ded3b38b5f48496c33467f4037af125b15b2 Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Tue, 21 Jul 2020 12:41:31 +0100 Subject: [PATCH] JAL-3633 label.proxy_server -> label.proxy_servers --- resources/lang/Messages.properties | 2 +- resources/lang/Messages_es.properties | 2 +- src/jalview/jbgui/GPreferences.java | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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()); -- 1.7.10.2