X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FJDatabaseTree.java;h=a886723b786a219a90808d311315c093dd67fb8d;hb=4d7f98a6dd54d9863ba449ec79dcd95d25ed863d;hp=207c600e8400e9b9a56d961334d99d4c7cdfc53c;hpb=619cc880371f3228e6a1fb33c6bfb6e7a7e2622c;p=jalview.git diff --git a/src/jalview/gui/JDatabaseTree.java b/src/jalview/gui/JDatabaseTree.java index 207c600..a886723 100644 --- a/src/jalview/gui/JDatabaseTree.java +++ b/src/jalview/gui/JDatabaseTree.java @@ -88,7 +88,9 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener public JDatabaseTree(jalview.ws.SequenceFetcher sfetch) { - initDialogFrame(this, true, false, MessageManager.getString("label.select_database_retrieval_source"), + initDialogFrame(this, true, false, + MessageManager + .getString("label.select_database_retrieval_source"), 650, 490); /* * Dynamically generated database list will need a translation function from @@ -221,7 +223,9 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener } else { - throw new Error(MessageManager.getString("error.implementation_error_cant_reorder_tree")); + throw new Error( + MessageManager + .getString("error.implementation_error_cant_reorder_tree")); } } jalview.util.QuickSort.sort(names, nodes); @@ -412,8 +416,7 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener if (allowMultiSelections) { dbstatus.setText(MessageManager.formatMessage( - "label.selected_database_to_fetch_from", new String[] - { + "label.selected_database_to_fetch_from", new String[] { Integer.valueOf(srcs.size()).toString(), (srcs.size() == 1 ? "" : "s"), (srcs.size() > 0 ? " with " + x + " test quer" @@ -425,13 +428,11 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener if (nm.length() > 0) { dbstatus.setText(MessageManager.formatMessage( - "label.database_param", new String[] - { nm })); + "label.database_param", new String[] { nm })); if (qr.length() > 0) { dbstatex.setText(MessageManager.formatMessage( - "label.example_param", new String[] - { qr })); + "label.example_param", new String[] { qr })); } else {