X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDasSourceBrowser.java;h=185ce1355f61dc88d02b11d1f2db2f53270ebf57;hb=d5e277e0af59156e5228d698b5ccc74caa8e970c;hp=6ba2c4f13957d856c3683064cd865e593d24d69d;hpb=47168f025aefdaa044802bd5f8f510ffe43a4808;p=jalview.git diff --git a/src/jalview/jbgui/GDasSourceBrowser.java b/src/jalview/jbgui/GDasSourceBrowser.java index 6ba2c4f..185ce13 100755 --- a/src/jalview/jbgui/GDasSourceBrowser.java +++ b/src/jalview/jbgui/GDasSourceBrowser.java @@ -44,7 +44,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) @@ -144,7 +145,8 @@ public class GDasSourceBrowser extends JPanel protected JEditorPane fullDetails = new JEditorPane("text/html", ""); - TitledBorder titledBorder1 = new TitledBorder(MessageManager.getString("label.available_das_sources")); + TitledBorder titledBorder1 = new TitledBorder( + MessageManager.getString("label.available_das_sources")); protected JButton refresh = new JButton(); @@ -152,7 +154,8 @@ public class GDasSourceBrowser extends JPanel protected JScrollPane scrollPane = new JScrollPane(); - TitledBorder titledBorder2 = new TitledBorder(MessageManager.getString("label.full_details")); + TitledBorder titledBorder2 = new TitledBorder( + MessageManager.getString("label.full_details")); protected JScrollPane fullDetailsScrollpane = new JScrollPane(); @@ -180,11 +183,14 @@ public class GDasSourceBrowser extends JPanel GridBagLayout gridBagLayout1 = new GridBagLayout(); - TitledBorder titledBorder3 = new TitledBorder(MessageManager.getString("label.authority") + ":"); + TitledBorder titledBorder3 = new TitledBorder( + MessageManager.getString("label.authority") + ":"); - TitledBorder titledBorder4 = new TitledBorder(MessageManager.getString("label.type") + ":"); + TitledBorder titledBorder4 = new TitledBorder( + MessageManager.getString("label.type") + ":"); - TitledBorder titledBorder5 = new TitledBorder(MessageManager.getString("label.label") + ":"); + TitledBorder titledBorder5 = new TitledBorder( + MessageManager.getString("label.label") + ":"); JButton reset = new JButton();