/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
- * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8)
+ * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle
*
* 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.
- *
+ *
* 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
protected JButton deleteSbrsUrl = new JButton();
// Web service status and url table
- protected JTable wsList=new JTable();
-
+ protected JTable wsList = new JTable();
+
protected TitledBorder wsListTitleBorder = new TitledBorder(
"Web Service Discovery URLS");
BorderLayout myBorderlayout = new BorderLayout();
BorderLayout wsListBorderlayout = new BorderLayout();
-
+
BorderLayout srbsListBorderlayout = new BorderLayout();
GridBagLayout wsPrefLayout = new GridBagLayout();
wsListUrlPanel.setLayout(new BorderLayout());
wsListPane.setBorder(BorderFactory.createEtchedBorder());
wsListPane.getViewport().add(wsList);
- wsList.setPreferredSize(new Dimension(482,202));
+ wsList.setPreferredSize(new Dimension(482, 202));
wsListPane.setPreferredSize(new Dimension(380, 80));
wsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
wsList.setColumnSelectionAllowed(false);
wsListButtons.add(newWsUrl);
wsListButtons.add(editWsUrl);
wsListButtons.add(deleteWsUrl);
- wsListButtons.setMinimumSize(new Dimension(350,80));
+ wsListButtons.setMinimumSize(new Dimension(350, 80));
wsListNavButs.setSize(new Dimension(80, 80));
wsListNavButs.setPreferredSize(new Dimension(80, 80));
wsListNavButs.setLayout(new FlowLayout());
wsMenuRefreshButs.add(resetWs, null);
wsMenuRefreshButs.add(progressBar, null);
myBorderlayout.setHgap(3);
- if (jalview.bin.Cache.getDefault("ENABLE_RSBS_EDITOR",false)) {
- JTabbedPane listPanels=new JTabbedPane();
- listPanels.addTab("JABAWS Servers",wsListPanel);
- listPanels.addTab("RSB Services", srbsListPanel);
- add(listPanels, BorderLayout.NORTH);
- } else {
- add(wsListPanel, BorderLayout.NORTH);
+ if (jalview.bin.Cache.getDefault("ENABLE_RSBS_EDITOR", false))
+ {
+ JTabbedPane listPanels = new JTabbedPane();
+ listPanels.addTab("JABAWS Servers", wsListPanel);
+ listPanels.addTab("RSB Services", srbsListPanel);
+ add(listPanels, BorderLayout.NORTH);
+ }
+ else
+ {
+ add(wsListPanel, BorderLayout.NORTH);
}
add(wsMenuButtons, BorderLayout.CENTER);
add(wsMenuRefreshButs, BorderLayout.SOUTH);
protected void deleteSbrsUrl_actionPerformed(ActionEvent e)
{
// TODO Auto-generated method stub
-
+
}
protected void editSbrsUrl_actionPerformed(ActionEvent e)
{
// TODO Auto-generated method stub
-
+
}
protected void newSbrsUrl_actionPerformed(ActionEvent e)
{
// TODO Auto-generated method stub
-
+
}
protected void displayWsWarning_actionPerformed(ActionEvent e)
{
// TODO Auto-generated method stub
-
+
}
protected void resetWs_actionPerformed(ActionEvent e)