X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWsPreferences.java;h=84de4930b7ca6f45a5d62e7d2509efd334d53ee7;hb=09d3b755d9b00f5c3acb44049aedd49361dc0690;hp=889fcb7a6c281451d5abe6cc61a989dbcba7c988;hpb=cb5d856b1304448cae13a333cbd9017f81520d90;p=jalview.git diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java index 889fcb7..84de493 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-Rel$$) + * Copyright (C) $$Year-Rel$$ 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(); @@ -143,6 +146,7 @@ public class GWsPreferences extends JPanel refreshWs.setText(MessageManager.getString("action.refresh_services")); refreshWs.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { refreshWs_actionPerformed(e); @@ -153,6 +157,7 @@ public class GWsPreferences extends JPanel resetWs.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { resetWs_actionPerformed(e); @@ -160,10 +165,11 @@ 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() { + @Override public void actionPerformed(ActionEvent e) { indexByHost_actionPerformed(e); @@ -173,37 +179,32 @@ public class GWsPreferences extends JPanel indexByType.setText(MessageManager.getString("label.index_by_type")); indexByType.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { 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() { + @Override public void actionPerformed(ActionEvent e) { enableJws2Services_actionPerformed(e); } }); displayWsWarning.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - 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")); + .setText(MessageManager.getString("label.display_warnings")); + displayWsWarning.setToolTipText("" + MessageManager.getString( + "label.option_want_informed_web_service_URL_cannot_be_accessed_jalview_when_starts_up")); displayWsWarning.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { displayWsWarning_actionPerformed(e); @@ -213,6 +214,7 @@ public class GWsPreferences extends JPanel newWsUrl.setText(MessageManager.getString("label.new_service_url")); newWsUrl.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { newWsUrl_actionPerformed(e); @@ -222,6 +224,7 @@ public class GWsPreferences extends JPanel editWsUrl.setText(MessageManager.getString("label.edit_service_url")); editWsUrl.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { editWsUrl_actionPerformed(e); @@ -229,9 +232,11 @@ 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() { + @Override public void actionPerformed(ActionEvent e) { deleteWsUrl_actionPerformed(e); @@ -239,9 +244,11 @@ 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() { + @Override public void actionPerformed(ActionEvent e) { moveWsUrlUp_actionPerformed(e); @@ -249,27 +256,33 @@ 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() { + @Override public void actionPerformed(ActionEvent e) { moveWsUrlDown_actionPerformed(e); } }); 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() { + @Override public void actionPerformed(ActionEvent e) { newSbrsUrl_actionPerformed(e); } }); 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() { + @Override public void actionPerformed(ActionEvent e) { editSbrsUrl_actionPerformed(e); @@ -277,9 +290,11 @@ 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() { + @Override public void actionPerformed(ActionEvent e) { deleteSbrsUrl_actionPerformed(e); @@ -293,14 +308,16 @@ public class GWsPreferences extends JPanel wsListUrlPanel.setBorder(BorderFactory.createEtchedBorder()); wsListUrlPanel.setLayout(new BorderLayout()); wsListPane.setBorder(BorderFactory.createEtchedBorder()); - wsListPane.getViewport().add(wsList); wsList.setPreferredSize(new Dimension(482, 202)); + wsList.getTableHeader().setReorderingAllowed(false); + wsListPane.getViewport().add(wsList); wsListPane.setPreferredSize(new Dimension(380, 80)); wsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); wsList.setColumnSelectionAllowed(false); wsList.addMouseListener(new MouseListener() { + @Override public void mouseClicked(MouseEvent e) { if (e.getClickCount() > 1) @@ -310,20 +327,24 @@ public class GWsPreferences extends JPanel } + @Override public void mouseEntered(MouseEvent e) { } + @Override public void mouseExited(MouseEvent e) { } + @Override public void mousePressed(MouseEvent e) { } + @Override public void mouseReleased(MouseEvent e) { @@ -355,6 +376,7 @@ public class GWsPreferences extends JPanel sbrsList.addMouseListener(new MouseListener() { + @Override public void mouseClicked(MouseEvent e) { if (e.getClickCount() > 1) @@ -364,20 +386,24 @@ public class GWsPreferences extends JPanel } + @Override public void mouseEntered(MouseEvent e) { } + @Override public void mouseExited(MouseEvent e) { } + @Override public void mousePressed(MouseEvent e) { } + @Override public void mouseReleased(MouseEvent e) { @@ -398,7 +424,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));