X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWsPreferences.java;h=928b3700a0e958ed2f576029f42e141115c53831;hb=a1984b1c8c273ed33c7ce9283039f4027dcae2de;hp=6e8ad6a4c7f692ebdae281294e36bd3227de9ddd;hpb=c19d2a91ca05e052e3408bf5852d88eb5d0608f1;p=jalview.git diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java index 6e8ad6a..928b370 100644 --- a/src/jalview/jbgui/GWsPreferences.java +++ b/src/jalview/jbgui/GWsPreferences.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b2) - * Copyright (C) 2015 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. * @@ -20,6 +20,7 @@ */ package jalview.jbgui; +import jalview.bin.Cache; import jalview.util.MessageManager; import java.awt.BorderLayout; @@ -146,6 +147,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); @@ -156,6 +158,7 @@ public class GWsPreferences extends JPanel resetWs.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { resetWs_actionPerformed(e); @@ -167,6 +170,7 @@ public class GWsPreferences extends JPanel .getString("label.index_web_services_menu_by_host_site")); indexByHost.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { indexByHost_actionPerformed(e); @@ -176,6 +180,7 @@ 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); @@ -183,24 +188,24 @@ public class GWsPreferences extends JPanel }); 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); @@ -210,6 +215,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); @@ -219,6 +225,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); @@ -226,10 +233,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); @@ -237,10 +245,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); @@ -248,30 +257,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); @@ -279,10 +291,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); @@ -296,14 +309,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) @@ -313,20 +328,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) { @@ -358,6 +377,7 @@ public class GWsPreferences extends JPanel sbrsList.addMouseListener(new MouseListener() { + @Override public void mouseClicked(MouseEvent e) { if (e.getClickCount() > 1) @@ -367,20 +387,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) { @@ -409,7 +433,7 @@ public class GWsPreferences extends JPanel wsMenuRefreshButs.add(resetWs, null); wsMenuRefreshButs.add(progressBar, null); myBorderlayout.setHgap(3); - if (jalview.bin.Cache.getDefault("ENABLE_RSBS_EDITOR", false)) + if (Cache.getDefault("ENABLE_RSBS_EDITOR", false)) { JTabbedPane listPanels = new JTabbedPane(); listPanels.addTab("JABAWS Servers", wsListPanel);