X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWsPreferences.java;h=6e8ad6a4c7f692ebdae281294e36bd3227de9ddd;hb=c19d2a91ca05e052e3408bf5852d88eb5d0608f1;hp=889fcb7a6c281451d5abe6cc61a989dbcba7c988;hpb=cb5d856b1304448cae13a333cbd9017f81520d90;p=jalview.git diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java index 889fcb7..6e8ad6a 100644 --- a/src/jalview/jbgui/GWsPreferences.java +++ b/src/jalview/jbgui/GWsPreferences.java @@ -1,19 +1,21 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.0b1) - * Copyright (C) 2014 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b2) + * Copyright (C) 2015 The Jalview Authors * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. + * as published by the Free Software Foundation, either version 3 + * of the License, or (at your option) any later version. * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR * PURPOSE. See the GNU General Public License for more details. * - * You should have received a copy of the GNU General Public License along with Jalview. If not, see . + * You should have received a copy of the GNU General Public License + * along with Jalview. If not, see . * The Jalview Authors are detailed in the 'AUTHORS' file. */ package jalview.jbgui; @@ -53,7 +55,8 @@ public class GWsPreferences extends JPanel protected JList sbrsList = new JList(); protected TitledBorder sbrsListTitleBorder = new TitledBorder( - MessageManager.getString("label.simple_bioinformatics_rest_services")); + MessageManager + .getString("label.simple_bioinformatics_rest_services")); protected JButton newSbrsUrl = new JButton(); @@ -160,8 +163,8 @@ public class GWsPreferences extends JPanel }); indexByHost.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); indexByHost.setText(MessageManager.getString("label.index_by_host")); - indexByHost - .setToolTipText(MessageManager.getString("label.index_web_services_menu_by_host_site")); + indexByHost.setToolTipText(MessageManager + .getString("label.index_web_services_menu_by_host_site")); indexByHost.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -178,19 +181,10 @@ public class GWsPreferences extends JPanel indexByType_actionPerformed(e); } }); - enableEnfinServices - .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - enableEnfinServices.setText(MessageManager.getString("label.enable_enfin_services")); - enableEnfinServices.addActionListener(new ActionListener() - { - public void actionPerformed(ActionEvent e) - { - enableEnfinServices_actionPerformed(e); - } - }); enableJws2Services .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - enableJws2Services.setText(MessageManager.getString("label.enable_jabaws_services")); + enableJws2Services.setText(MessageManager + .getString("label.enable_jabaws_services")); enableJws2Services.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -199,9 +193,12 @@ public class GWsPreferences extends JPanel } }); displayWsWarning.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - displayWsWarning.setText(MessageManager.getString("label.display_warnings")); + displayWsWarning.setText(MessageManager + .getString("label.display_warnings")); displayWsWarning - .setToolTipText("" + MessageManager.getString("label.option_want_informed_web_service_URL_cannot_be_accessed_jalview_when_starts_up")); + .setToolTipText("" + + MessageManager + .getString("label.option_want_informed_web_service_URL_cannot_be_accessed_jalview_when_starts_up")); displayWsWarning.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -229,7 +226,8 @@ public class GWsPreferences extends JPanel }); deleteWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - deleteWsUrl.setText(MessageManager.getString("label.delete_service_url")); + deleteWsUrl.setText(MessageManager + .getString("label.delete_service_url")); deleteWsUrl.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -239,7 +237,8 @@ public class GWsPreferences extends JPanel }); moveWsUrlUp.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); moveWsUrlUp.setText(MessageManager.getString("action.move_up")); - moveWsUrlUp.setToolTipText(MessageManager.getString("label.move_url_up")); + moveWsUrlUp.setToolTipText(MessageManager + .getString("label.move_url_up")); moveWsUrlUp.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -249,7 +248,8 @@ public class GWsPreferences extends JPanel }); moveWsUrlDown.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); moveWsUrlDown.setText(MessageManager.getString("action.move_down")); - moveWsUrlDown.setToolTipText(MessageManager.getString("label.move_url_down")); + moveWsUrlDown.setToolTipText(MessageManager + .getString("label.move_url_down")); moveWsUrlDown.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -258,7 +258,8 @@ public class GWsPreferences extends JPanel } }); newSbrsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - newSbrsUrl.setText(MessageManager.getString("label.add_sbrs_definition")); + newSbrsUrl.setText(MessageManager + .getString("label.add_sbrs_definition")); newSbrsUrl.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -267,7 +268,8 @@ public class GWsPreferences extends JPanel } }); editSbrsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - editSbrsUrl.setText(MessageManager.getString("label.edit_sbrs_definition")); + editSbrsUrl.setText(MessageManager + .getString("label.edit_sbrs_definition")); editSbrsUrl.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -277,7 +279,8 @@ public class GWsPreferences extends JPanel }); deleteSbrsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - deleteSbrsUrl.setText(MessageManager.getString("label.delete_sbrs_definition")); + deleteSbrsUrl.setText(MessageManager + .getString("label.delete_sbrs_definition")); deleteSbrsUrl.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -398,7 +401,6 @@ public class GWsPreferences extends JPanel wsMenuButtons.add(indexByHost); wsMenuButtons.add(indexByType); wsMenuButtons.add(enableJws2Services); - wsMenuButtons.add(enableEnfinServices); wsMenuButtons.add(displayWsWarning); wsMenuRefreshButs.setLayout(new FlowLayout()); wsMenuRefreshButs.setPreferredSize(new Dimension(480, 30));