X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsPreferences.java;h=6ec25b2dcdc6ad7c94fefc985b360c3ed30f6a8f;hb=fc2dbe249bddd693c94bfa88b3468abc41c6d80b;hp=25ada33818311d89783d92c770f85c54152ada56;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java index 25ada33..6ec25b2 100644 --- a/src/jalview/gui/WsPreferences.java +++ b/src/jalview/gui/WsPreferences.java @@ -128,7 +128,8 @@ public class WsPreferences extends GWsPreferences } wsList.setModel(new WsUrlTableModel(tdat)); - wsList.getColumn(MessageManager.getString("label.status")).setMinWidth(10); + wsList.getColumn(MessageManager.getString("label.status")).setMinWidth( + 10); } private class JabaWSStatusRenderer extends JPanel implements @@ -187,8 +188,10 @@ public class WsPreferences extends GWsPreferences { private Object[][] data; - private String[] columnNames = new String[] - { MessageManager.getString("label.service_url"), MessageManager.getString("label.status") }; + + private String[] columnNames = new String[] { + MessageManager.getString("label.service_url"), + MessageManager.getString("label.status") }; public WsUrlTableModel(Object[][] tdat) { @@ -204,7 +207,7 @@ public class WsPreferences extends GWsPreferences @Override public String getColumnName(int column) { - return columnNames[column]; + return columnNames[column]; } @Override @@ -483,11 +486,10 @@ public class WsPreferences extends GWsPreferences } if (valid && resp == JOptionPane.OK_OPTION) { - int validate = JOptionPane - .showInternalConfirmDialog( - Desktop.desktop, - MessageManager.getString("info.validate_jabaws_server"), - MessageManager.getString("label.test_server"), JOptionPane.YES_NO_OPTION); + int validate = JOptionPane.showInternalConfirmDialog(Desktop.desktop, + MessageManager.getString("info.validate_jabaws_server"), + MessageManager.getString("label.test_server"), + JOptionPane.YES_NO_OPTION); if (validate == JOptionPane.OK_OPTION) { @@ -519,7 +521,6 @@ public class WsPreferences extends GWsPreferences .getString("warn.server_didnt_pass_validation")); } - } } else @@ -540,7 +541,8 @@ public class WsPreferences extends GWsPreferences @Override protected void newWsUrl_actionPerformed(ActionEvent e) { - String url = editUrl(null, MessageManager.getString("label.add_jabaws_url")); + String url = editUrl(null, + MessageManager.getString("label.add_jabaws_url")); if (url != null) { if (!wsUrls.contains(url)) @@ -625,8 +627,8 @@ public class WsPreferences extends GWsPreferences public void run() { long ct = System.currentTimeMillis(); - Desktop.instance.setProgressBar(MessageManager.getString("status.refreshing_web_service_menus"), - ct); + Desktop.instance.setProgressBar(MessageManager + .getString("status.refreshing_web_service_menus"), ct); if (lastrefresh != update) { lastrefresh = update;