X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;h=a3493d818ec9f8fea74fb8ae712dcd02386560dc;hb=174230b4233d9ce80f94527768d2cd2f76da11ab;hp=4e5480d9c97684111e9c0b8cc0c3ee28c48f2439;hpb=43c02ae950e2d1a068bf2455f33c8756951b82ed;p=jalview.git

diff --git a/src/jalview/jbgui/GDasSourceBrowser.java b/src/jalview/jbgui/GDasSourceBrowser.java
index 4e5480d..a3493d8 100755
--- a/src/jalview/jbgui/GDasSourceBrowser.java
+++ b/src/jalview/jbgui/GDasSourceBrowser.java
@@ -1,6 +1,6 @@
 /*
  * Jalview - A Sequence Alignment Editor and Viewer
- * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
+ * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
@@ -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,38 +116,39 @@ 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(scrollPane, new GridBagConstraints(0, 0, 2, 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));
-    this.add(jScrollPane3, new GridBagConstraints(2, 1, 1, 1, 1.0, 1.0
+    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, 0));
-    this.add(jScrollPane4, new GridBagConstraints(4, 1, 1, 1, 1.0, 1.0
+                                                  new Insets(0, 0, 0, 60), 80,
+                                                  60));
+    this.add(jScrollPane4, new GridBagConstraints(2, 1, 1, 1, 1.0, 1.0
                                                   , GridBagConstraints.CENTER,
                                                   GridBagConstraints.BOTH,
-                                                  new Insets(0, 0, 0, 9), 80, 0));
-    this.add(jScrollPane2, new GridBagConstraints(0, 1, 2, 1, 1.0, 1.0
+                                                  new Insets(0, -80, 0, 0), 80,
+                                                  60));
+    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));
   }
 
@@ -150,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)
   {
 
@@ -174,4 +202,9 @@ public class GDasSourceBrowser
 
   }
 
+  public void reset_actionPerformed(ActionEvent e)
+  {
+
+  }
+
 }