git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-1372 i18n and tweaking set/unset representative sequence
[jalview.git]
/
src
/
jalview
/
jbgui
/
GDasSourceBrowser.java
diff --git
a/src/jalview/jbgui/GDasSourceBrowser.java
b/src/jalview/jbgui/GDasSourceBrowser.java
index
6ba2c4f
..
185ce13
100755
(executable)
--- 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);
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)
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", "");
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();
protected JButton refresh = new JButton();
@@
-152,7
+154,8
@@
public class GDasSourceBrowser extends JPanel
protected JScrollPane scrollPane = new JScrollPane();
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();
protected JScrollPane fullDetailsScrollpane = new JScrollPane();
@@
-180,11
+183,14
@@
public class GDasSourceBrowser extends JPanel
GridBagLayout gridBagLayout1 = new GridBagLayout();
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();
JButton reset = new JButton();