apply jalview code style
[jalview.git] / src / jalview / jbgui / GWsPreferences.java
index 9505457..2b30f47 100644 (file)
@@ -72,18 +72,19 @@ public class GWsPreferences extends JPanel
   protected JCheckBox enableEnfinServices = new JCheckBox();
 
   protected JButton refreshWs = new JButton();
+
   protected JButton resetWs = new JButton();
-  
+
   protected JProgressBar progressBar = new JProgressBar();
 
   JScrollPane wsListPane = new JScrollPane();
-  
+
   JPanel wsListUrlPanel = new JPanel();
-  
+
   JPanel wsListPanel = new JPanel();
 
   JPanel wsListButtons = new JPanel();
-  
+
   JPanel wsListNavButs = new JPanel();
 
   BorderLayout myBorderlayout = new BorderLayout();
@@ -97,7 +98,9 @@ public class GWsPreferences extends JPanel
   GridBagLayout wsMenuLayout = new GridBagLayout();
 
   JPanel wsMenuButtons = new JPanel();
+
   JPanel wsMenuRefreshButs = new JPanel();
+
   public GWsPreferences()
   {
     jbInit();
@@ -117,7 +120,7 @@ public class GWsPreferences extends JPanel
     });
     resetWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
     resetWs.setText("Reset Services");
-    
+
     resetWs.addActionListener(new ActionListener()
     {
       public void actionPerformed(ActionEvent e)
@@ -225,30 +228,31 @@ public class GWsPreferences extends JPanel
     });
 
     setLayout(myBorderlayout);
-    setPreferredSize(new Dimension(500,400));
+    setPreferredSize(new Dimension(500, 400));
     progressBar.setPreferredSize(new Dimension(450, 20));
     progressBar.setString("");
     wsListUrlPanel.setBorder(BorderFactory.createEtchedBorder());
     wsListUrlPanel.setLayout(new BorderLayout());
-//    wsListUrlPanel.setPreferredSize(new Dimension(482,202));
+    // wsListUrlPanel.setPreferredSize(new Dimension(482,202));
     wsListPane.setBorder(BorderFactory.createEtchedBorder());
     wsListPane.getViewport().add(wsList);
     wsListPane.setPreferredSize(new Dimension(380, 200));
     wsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
-    wsList.addMouseListener(new MouseListener() {
+    wsList.addMouseListener(new MouseListener()
+    {
 
       public void mouseClicked(MouseEvent e)
       {
-        if (e.getClickCount()>1)
+        if (e.getClickCount() > 1)
         {
           editWsUrl_actionPerformed(null);
         }
-        
+
       }
 
       public void mouseEntered(MouseEvent e)
       {
-        
+
       }
 
       public void mouseExited(MouseEvent e)
@@ -257,54 +261,54 @@ public class GWsPreferences extends JPanel
 
       public void mousePressed(MouseEvent e)
       {
-        
+
       }
 
       public void mouseReleased(MouseEvent e)
       {
-        
+
       }
-      
+
     });
-//    wsListButtons.setPreferredSize(new Dimension(480, 60));
+    // wsListButtons.setPreferredSize(new Dimension(480, 60));
     wsListButtons.setLayout(new FlowLayout());
-    //wsListButtons.add(moveWsUrlUp);
-    //wsListButtons.add(moveWsUrlDown);
+    // wsListButtons.add(moveWsUrlUp);
+    // wsListButtons.add(moveWsUrlDown);
     wsListButtons.add(newWsUrl);
     wsListButtons.add(editWsUrl);
     wsListButtons.add(deleteWsUrl);
-    wsListNavButs.setSize(new Dimension(80,80));
-    wsListNavButs.setPreferredSize(new Dimension(80,80));
+    wsListNavButs.setSize(new Dimension(80, 80));
+    wsListNavButs.setPreferredSize(new Dimension(80, 80));
     wsListNavButs.setLayout(new FlowLayout());
     wsListNavButs.add(moveWsUrlUp);
     wsListNavButs.add(moveWsUrlDown);
-    wsListUrlPanel.add(wsListPane,BorderLayout.EAST);
-    wsListUrlPanel.add(wsListNavButs,BorderLayout.WEST);
+    wsListUrlPanel.add(wsListPane, BorderLayout.EAST);
+    wsListUrlPanel.add(wsListNavButs, BorderLayout.WEST);
     wsListPanel.setBorder(wsListTitleBorder);
     wsListPanel.setLayout(new BorderLayout());
     wsListPanel.add(wsListUrlPanel, BorderLayout.NORTH);
     wsListPanel.add(wsListButtons, BorderLayout.SOUTH);
-    wsMenuButtons.setLayout(new GridLayout(2,3));
+    wsMenuButtons.setLayout(new GridLayout(2, 3));
     wsMenuButtons.add(indexByHost);
     wsMenuButtons.add(indexByType);
     wsMenuButtons.add(enableJws1Services);
     wsMenuButtons.add(enableJws2Services);
     wsMenuButtons.add(enableEnfinServices);
     wsMenuRefreshButs.setLayout(new FlowLayout());
-    wsMenuRefreshButs.setPreferredSize(new Dimension(480,30));
-    wsMenuRefreshButs.setSize(new Dimension(480,30));
-    wsMenuRefreshButs.add(refreshWs,null);
-    wsMenuRefreshButs.add(resetWs,null);
-    wsMenuRefreshButs.add(progressBar,null);
+    wsMenuRefreshButs.setPreferredSize(new Dimension(480, 30));
+    wsMenuRefreshButs.setSize(new Dimension(480, 30));
+    wsMenuRefreshButs.add(refreshWs, null);
+    wsMenuRefreshButs.add(resetWs, null);
+    wsMenuRefreshButs.add(progressBar, null);
     myBorderlayout.setHgap(3);
-    add(wsListPanel,BorderLayout.NORTH);
-    add(wsMenuButtons,BorderLayout.CENTER);
+    add(wsListPanel, BorderLayout.NORTH);
+    add(wsMenuButtons, BorderLayout.CENTER);
     add(wsMenuRefreshButs, BorderLayout.SOUTH);
   }
 
   protected void resetWs_actionPerformed(ActionEvent e)
   {
-    
+
   }
 
   protected void indexByType_actionPerformed(ActionEvent e)