From 077b528a2b2c3314f687f7ced476ff0817067bf8 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 094c390..98caae2 100644 --- a/resources/lang/Messages.properties +++ b/resources/lang/Messages.properties @@ -638,7 +638,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 826ba4c..88cc251 100644 --- a/resources/lang/Messages_es.properties +++ b/resources/lang/Messages_es.properties @@ -587,7 +587,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 51ace5f..9348aff 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -923,7 +923,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