X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;h=a91769a36f900e21f279e980b69c912b4e5ee6a3;hb=bde6856372f93d9b0d4a2bd142246c37cb5bac5e;hp=d74900a4e6a1479d483f73708255318bc44013f8;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git diff --git a/src/jalview/jbgui/GDasSourceBrowser.java b/src/jalview/jbgui/GDasSourceBrowser.java index d74900a..a91769a 100755 --- a/src/jalview/jbgui/GDasSourceBrowser.java +++ b/src/jalview/jbgui/GDasSourceBrowser.java @@ -22,11 +22,30 @@ package jalview.jbgui; import jalview.util.MessageManager; -import java.awt.*; -import java.awt.event.*; -import javax.swing.*; -import javax.swing.border.*; -import javax.swing.event.*; +import java.awt.BorderLayout; +import java.awt.Dimension; +import java.awt.FlowLayout; +import java.awt.Font; +import java.awt.GridBagConstraints; +import java.awt.GridBagLayout; +import java.awt.Insets; +import java.awt.event.ActionEvent; +import java.awt.event.ActionListener; + +import javax.swing.BorderFactory; +import javax.swing.JButton; +import javax.swing.JEditorPane; +import javax.swing.JLabel; +import javax.swing.JList; +import javax.swing.JPanel; +import javax.swing.JProgressBar; +import javax.swing.JScrollPane; +import javax.swing.JTable; +import javax.swing.JTextField; +import javax.swing.SwingConstants; +import javax.swing.border.TitledBorder; +import javax.swing.event.HyperlinkEvent; +import javax.swing.event.HyperlinkListener; public class GDasSourceBrowser extends JPanel { @@ -44,8 +63,8 @@ public class GDasSourceBrowser extends JPanel private void jbInit() throws Exception { this.setLayout(gridBagLayout1); - refresh.setText(MessageManager - .getString("label.refresh_available_sources")); + refresh.setText( + MessageManager.getString("label.refresh_available_sources")); refresh.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) @@ -118,27 +137,32 @@ public class GDasSourceBrowser extends JPanel 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)); + 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)); + 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();