X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;fp=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;h=4bf265f48c81a20f616d87b579b7883631e68309;hb=59d682209891099d46b960509907c79e3fb276fe;hp=69bba49aa320744695c59a30fc0a2eb4daaf1c6f;hpb=d1b697c33b69a6dfe55df789eec5ac9881013681;p=jalview.git

diff --git a/src/jalview/jbgui/GDasSourceBrowser.java b/src/jalview/jbgui/GDasSourceBrowser.java
index 69bba49..4bf265f 100755
--- a/src/jalview/jbgui/GDasSourceBrowser.java
+++ b/src/jalview/jbgui/GDasSourceBrowser.java
@@ -1,221 +1,221 @@
-/*
- * 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
- * 
- * 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 
- * PURPOSE.  See the GNU General Public License for more details.
- * 
- * You should have received a copy of the GNU General Public License along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
- */
-package jalview.jbgui;
-
-import java.awt.*;
-import java.awt.event.*;
-import javax.swing.*;
-import javax.swing.border.*;
-import javax.swing.event.*;
-
-public class GDasSourceBrowser extends JPanel
-{
-  public GDasSourceBrowser()
-  {
-    try
-    {
-      jbInit();
-    } catch (Exception ex)
-    {
-      ex.printStackTrace();
-    }
-  }
-
-  private void jbInit() throws Exception
-  {
-    this.setLayout(gridBagLayout1);
-    refresh.setText("Refresh Available Sources");
-    refresh.addActionListener(new ActionListener()
-    {
-      public void actionPerformed(ActionEvent e)
-      {
-        refresh_actionPerformed(e);
-      }
-    });
-    progressBar.setPreferredSize(new Dimension(450, 20));
-    progressBar.setString("");
-    scrollPane.setBorder(titledBorder1);
-    scrollPane.setBorder(BorderFactory.createEtchedBorder());
-    fullDetailsScrollpane.setBorder(BorderFactory.createEtchedBorder());
-    fullDetails.addHyperlinkListener(new HyperlinkListener()
-    {
-      public void hyperlinkUpdate(HyperlinkEvent e)
-      {
-        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");
-    addLocal.addActionListener(new ActionListener()
-    {
-      public void actionPerformed(ActionEvent e)
-      {
-        amendLocal(true);
-      }
-    });
-    jPanel1.setLayout(flowLayout1);
-    jPanel1.setMinimumSize(new Dimension(596, 30));
-    jPanel1.setPreferredSize(new Dimension(596, 30));
-    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);
-    jScrollPane4.getViewport().add(filter3);
-    jPanel1.add(refresh, null);
-    jPanel1.add(addLocal, null);
-    jPanel1.add(progressBar, null);
-    jScrollPane2.getViewport().add(filter1);
-    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(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, 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, 60), 80, 60));
-    this.add(jScrollPane4, new GridBagConstraints(2, 1, 1, 1, 1.0, 1.0,
-            GridBagConstraints.CENTER, GridBagConstraints.BOTH, 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, -60, 0, 80), 80, 60));
-  }
-
-  protected JTable table = new JTable();
-
-  protected JEditorPane fullDetails = new JEditorPane("text/html", "");
-
-  TitledBorder titledBorder1 = new TitledBorder("Available DAS Sources");
-
-  protected JButton refresh = new JButton();
-
-  protected JProgressBar progressBar = new JProgressBar();
-
-  protected JScrollPane scrollPane = new JScrollPane();
-
-  TitledBorder titledBorder2 = new TitledBorder("Full Details");
-
-  protected JScrollPane fullDetailsScrollpane = new JScrollPane();
-
-  protected JList filter1 = new JList();
-
-  protected JList filter2 = new JList();
-
-  protected JList filter3 = new JList();
-
-  JScrollPane jScrollPane2 = new JScrollPane();
-
-  JScrollPane jScrollPane3 = new JScrollPane();
-
-  JScrollPane jScrollPane4 = new JScrollPane();
-
-  protected JTextField registryURL = new JTextField();
-
-  protected JLabel registryLabel = new JLabel();
-
-  protected JButton addLocal = new JButton();
-
-  JPanel jPanel1 = new JPanel();
-
-  FlowLayout flowLayout1 = new FlowLayout();
-
-  GridBagLayout gridBagLayout1 = new GridBagLayout();
-
-  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)
-  {
-
-  }
-
-  public void fullDetails_hyperlinkUpdate(HyperlinkEvent e)
-  {
-    try
-    {
-
-      if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED)
-      {
-        jalview.util.BrowserLauncher.openURL(e.getURL().toString());
-      }
-    } catch (Exception ex)
-    {
-      System.out.println(e.getURL());
-      ex.printStackTrace();
-    }
-  }
-
-  public void amendLocal(boolean newSource)
-  {
-
-  }
-
-  public void reset_actionPerformed(ActionEvent e)
-  {
-
-  }
-
-}
+/*
+ * 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 
+ * PURPOSE.  See the GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ */
+package jalview.jbgui;
+
+import java.awt.*;
+import java.awt.event.*;
+import javax.swing.*;
+import javax.swing.border.*;
+import javax.swing.event.*;
+
+public class GDasSourceBrowser extends JPanel
+{
+  public GDasSourceBrowser()
+  {
+    try
+    {
+      jbInit();
+    } catch (Exception ex)
+    {
+      ex.printStackTrace();
+    }
+  }
+
+  private void jbInit() throws Exception
+  {
+    this.setLayout(gridBagLayout1);
+    refresh.setText("Refresh Available Sources");
+    refresh.addActionListener(new ActionListener()
+    {
+      public void actionPerformed(ActionEvent e)
+      {
+        refresh_actionPerformed(e);
+      }
+    });
+    progressBar.setPreferredSize(new Dimension(450, 20));
+    progressBar.setString("");
+    scrollPane.setBorder(titledBorder1);
+    scrollPane.setBorder(BorderFactory.createEtchedBorder());
+    fullDetailsScrollpane.setBorder(BorderFactory.createEtchedBorder());
+    fullDetails.addHyperlinkListener(new HyperlinkListener()
+    {
+      public void hyperlinkUpdate(HyperlinkEvent e)
+      {
+        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");
+    addLocal.addActionListener(new ActionListener()
+    {
+      public void actionPerformed(ActionEvent e)
+      {
+        amendLocal(true);
+      }
+    });
+    jPanel1.setLayout(flowLayout1);
+    jPanel1.setMinimumSize(new Dimension(596, 30));
+    jPanel1.setPreferredSize(new Dimension(596, 30));
+    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);
+    jScrollPane4.getViewport().add(filter3);
+    jPanel1.add(refresh, null);
+    jPanel1.add(addLocal, null);
+    jPanel1.add(progressBar, null);
+    jScrollPane2.getViewport().add(filter1);
+    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(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, 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, 60), 80, 60));
+    this.add(jScrollPane4, new GridBagConstraints(2, 1, 1, 1, 1.0, 1.0,
+            GridBagConstraints.CENTER, GridBagConstraints.BOTH, 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, -60, 0, 80), 80, 60));
+  }
+
+  protected JTable table = new JTable();
+
+  protected JEditorPane fullDetails = new JEditorPane("text/html", "");
+
+  TitledBorder titledBorder1 = new TitledBorder("Available DAS Sources");
+
+  protected JButton refresh = new JButton();
+
+  protected JProgressBar progressBar = new JProgressBar();
+
+  protected JScrollPane scrollPane = new JScrollPane();
+
+  TitledBorder titledBorder2 = new TitledBorder("Full Details");
+
+  protected JScrollPane fullDetailsScrollpane = new JScrollPane();
+
+  protected JList filter1 = new JList();
+
+  protected JList filter2 = new JList();
+
+  protected JList filter3 = new JList();
+
+  JScrollPane jScrollPane2 = new JScrollPane();
+
+  JScrollPane jScrollPane3 = new JScrollPane();
+
+  JScrollPane jScrollPane4 = new JScrollPane();
+
+  protected JTextField registryURL = new JTextField();
+
+  protected JLabel registryLabel = new JLabel();
+
+  protected JButton addLocal = new JButton();
+
+  JPanel jPanel1 = new JPanel();
+
+  FlowLayout flowLayout1 = new FlowLayout();
+
+  GridBagLayout gridBagLayout1 = new GridBagLayout();
+
+  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)
+  {
+
+  }
+
+  public void fullDetails_hyperlinkUpdate(HyperlinkEvent e)
+  {
+    try
+    {
+
+      if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED)
+      {
+        jalview.util.BrowserLauncher.openURL(e.getURL().toString());
+      }
+    } catch (Exception ex)
+    {
+      System.out.println(e.getURL());
+      ex.printStackTrace();
+    }
+  }
+
+  public void amendLocal(boolean newSource)
+  {
+
+  }
+
+  public void reset_actionPerformed(ActionEvent e)
+  {
+
+  }
+
+}