X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;fp=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;h=5efa6c05c7966420af626c75c87c7da692cfff15;hb=646689b315c3094d164f7ad03d129537964e5222;hp=c77627ab0afbda16b094a584c129c73b4363e1e8;hpb=6dd523c9bd707b197e7311fba62387777286debb;p=jalview.git

diff --git a/src/jalview/jbgui/GDasSourceBrowser.java b/src/jalview/jbgui/GDasSourceBrowser.java
index c77627a..5efa6c0 100755
--- a/src/jalview/jbgui/GDasSourceBrowser.java
+++ b/src/jalview/jbgui/GDasSourceBrowser.java
@@ -27,6 +27,8 @@ import javax.swing.BorderFactory;
 import javax.swing.event.HyperlinkListener;
 import javax.swing.event.HyperlinkEvent;
 import java.awt.Dimension;
+import java.awt.Font;
+import java.awt.Insets;
 
 public class GDasSourceBrowser
     extends JPanel
@@ -67,7 +69,9 @@ public class GDasSourceBrowser
         fullDetails_hyperlinkUpdate(e);
       }
     });
+    fullDetails.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
     fullDetails.setEditable(false);
+    registryLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
     registryLabel.setHorizontalAlignment(SwingConstants.TRAILING);
     registryLabel.setText("Use Registry");
     addLocal.setText("Add Local Source");
@@ -84,6 +88,26 @@ public class GDasSourceBrowser
     jScrollPane2.setBorder(titledBorder3);
     jScrollPane3.setBorder(titledBorder4);
     jScrollPane4.setBorder(titledBorder5);
+    titledBorder2.setTitleFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    titledBorder3.setTitleFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    titledBorder4.setTitleFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    filter1.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    filter2.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    filter3.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    table.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    reset.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    reset.setMargin(new Insets(2, 2, 2, 2));
+    reset.setText("Reset");
+    reset.addActionListener(new ActionListener()
+    {
+      public void actionPerformed(ActionEvent e)
+      {
+        reset_actionPerformed(e);
+      }
+    });
+    jPanel2.setLayout(borderLayout1);
+    borderLayout1.setHgap(5);
+    registryURL.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
     scrollPane.getViewport().add(table);
     fullDetailsScrollpane.getViewport().add(fullDetails);
     jScrollPane3.getViewport().add(filter2);
@@ -92,41 +116,40 @@ public class GDasSourceBrowser
     jPanel1.add(addLocal, null);
     jPanel1.add(progressBar, null);
     jScrollPane2.getViewport().add(filter1);
-    this.add(registryLabel, new GridBagConstraints(0, 2, 1, 1, 0.0, 0.0
-        , GridBagConstraints.WEST, GridBagConstraints.NONE,
-        new Insets(11, 2, 0, 0), 9, 2));
-    this.add(registryURL, new GridBagConstraints(1, 2, 4, 1, 1.0, 0.0
-                                                 , GridBagConstraints.WEST,
-                                                 GridBagConstraints.HORIZONTAL,
-                                                 new Insets(6, 7, 0, 10), 393,
-                                                 3));
-    this.add(jPanel1, new GridBagConstraints(0, 3, 5, 1, 1.0, 1.0
+    this.add(jPanel1, new GridBagConstraints(0, 3, 3, 1, 1.0, 1.0
                                              , GridBagConstraints.CENTER,
                                              GridBagConstraints.HORIZONTAL,
                                              new Insets(0, 0, 0, 0), 0, 0));
-    this.add(fullDetailsScrollpane, new GridBagConstraints(2, 0, 3, 1, 1.0, 1.0
+    this.add(fullDetailsScrollpane, new GridBagConstraints(1, 0, 2, 1, 1.0, 1.0
         , GridBagConstraints.CENTER, GridBagConstraints.BOTH,
         new Insets(3, 0, 0, 3), 240, 130));
-    this.add(jScrollPane3, new GridBagConstraints(2, 1, 1, 1, 1.0, 1.0
+    this.add(scrollPane, new GridBagConstraints(0, 0, 1, 1, 1.0, 1.0
+                                                , GridBagConstraints.CENTER,
+                                                GridBagConstraints.BOTH,
+                                                new Insets(3, 2, 0, 0), 150,
+                                                130));
+    jPanel2.add(registryLabel, java.awt.BorderLayout.WEST);
+    jPanel2.add(registryURL, java.awt.BorderLayout.CENTER);
+    jPanel2.add(reset, java.awt.BorderLayout.EAST);
+    this.add(jPanel2, new GridBagConstraints(0, 2, 3, 1, 0.0, 0.0
+                                             , GridBagConstraints.CENTER,
+                                             GridBagConstraints.HORIZONTAL,
+                                             new Insets(5, 10, 0, 10), 339, 0));
+    this.add(jScrollPane2, new GridBagConstraints(0, 1, 1, 1, 1.0, 1.0
                                                   , GridBagConstraints.CENTER,
                                                   GridBagConstraints.BOTH,
-                                                  new Insets(0, 0, 0, 0), 80,
+                                                  new Insets(0, 0, 0, 60), 80,
                                                   60));
-    this.add(jScrollPane4, new GridBagConstraints(4, 1, 1, 1, 1.0, 1.0
+    this.add(jScrollPane4, new GridBagConstraints(2, 1, 1, 1, 1.0, 1.0
                                                   , GridBagConstraints.CENTER,
                                                   GridBagConstraints.BOTH,
-                                                  new Insets(0, 0, 0, 0), 80,
+                                                  new Insets(0, -80, 0, 0), 80,
                                                   60));
-    this.add(jScrollPane2, new GridBagConstraints(0, 1, 2, 1, 1.0, 1.0
+    this.add(jScrollPane3, new GridBagConstraints(1, 1, 1, 1, 1.0, 1.0
                                                   , GridBagConstraints.CENTER,
                                                   GridBagConstraints.BOTH,
-                                                  new Insets(0, 0, 0, 0), 80,
+                                                  new Insets(0, -60, 0, 80), 80,
                                                   60));
-    this.add(scrollPane, new GridBagConstraints(0, 0, 2, 1, 1.0, 1.0
-                                                , GridBagConstraints.CENTER,
-                                                GridBagConstraints.BOTH,
-                                                new Insets(3, 2, 0, 0), 150,
-                                                130));
   }
 
   protected JTable table = new JTable();
@@ -152,6 +175,9 @@ public class GDasSourceBrowser
   TitledBorder titledBorder3 = new TitledBorder("Authority:");
   TitledBorder titledBorder4 = new TitledBorder("Type:");
   TitledBorder titledBorder5 = new TitledBorder("Label:");
+  JButton reset = new JButton();
+  JPanel jPanel2 = new JPanel();
+  BorderLayout borderLayout1 = new BorderLayout();
   public void refresh_actionPerformed(ActionEvent e)
   {
 
@@ -176,4 +202,9 @@ public class GDasSourceBrowser
 
   }
 
+  public void reset_actionPerformed(ActionEvent e)
+  {
+
+  }
+
 }