From: gmungoc Date: Fri, 1 Mar 2019 11:23:39 +0000 (+0000) Subject: JAL-3154 disable reorder columns before adding to viewport X-Git-Tag: Release_2_11_0~17^2~86 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6efcc394eaabf1ff8d48010a637eae75e058e180;p=jalview.git JAL-3154 disable reorder columns before adding to viewport --- diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java index 579d409..84de493 100644 --- a/src/jalview/jbgui/GWsPreferences.java +++ b/src/jalview/jbgui/GWsPreferences.java @@ -146,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); @@ -156,6 +157,7 @@ public class GWsPreferences extends JPanel resetWs.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { resetWs_actionPerformed(e); @@ -167,6 +169,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 +179,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); @@ -187,6 +191,7 @@ public class GWsPreferences extends JPanel MessageManager.getString("label.enable_jabaws_services")); enableJws2Services.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { enableJws2Services_actionPerformed(e); @@ -199,6 +204,7 @@ public class GWsPreferences extends JPanel "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); @@ -208,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); @@ -217,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); @@ -228,6 +236,7 @@ public class GWsPreferences extends JPanel .setText(MessageManager.getString("label.delete_service_url")); deleteWsUrl.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { deleteWsUrl_actionPerformed(e); @@ -239,6 +248,7 @@ public class GWsPreferences extends JPanel .setToolTipText(MessageManager.getString("label.move_url_up")); moveWsUrlUp.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { moveWsUrlUp_actionPerformed(e); @@ -250,6 +260,7 @@ public class GWsPreferences extends JPanel MessageManager.getString("label.move_url_down")); moveWsUrlDown.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { moveWsUrlDown_actionPerformed(e); @@ -260,6 +271,7 @@ public class GWsPreferences extends JPanel .setText(MessageManager.getString("label.add_sbrs_definition")); newSbrsUrl.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { newSbrsUrl_actionPerformed(e); @@ -270,6 +282,7 @@ public class GWsPreferences extends JPanel MessageManager.getString("label.edit_sbrs_definition")); editSbrsUrl.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { editSbrsUrl_actionPerformed(e); @@ -281,6 +294,7 @@ public class GWsPreferences extends JPanel MessageManager.getString("label.delete_sbrs_definition")); deleteSbrsUrl.addActionListener(new ActionListener() { + @Override public void actionPerformed(ActionEvent e) { deleteSbrsUrl_actionPerformed(e); @@ -294,15 +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) @@ -312,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) { @@ -357,6 +376,7 @@ public class GWsPreferences extends JPanel sbrsList.addMouseListener(new MouseListener() { + @Override public void mouseClicked(MouseEvent e) { if (e.getClickCount() > 1) @@ -366,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) {