X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;fp=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;h=5170a6c3a0c2c0c74b27ef6aa9e1168b91e51cb3;hb=daf64249356f9a156423bd56ab0336d9da2e5325;hp=eb1a3486830ff556ff07a26eef12274eac39967c;hpb=4f9c22055c3cdbfc9c4375dcb74755a89ec32b62;p=jalview.git

diff --git a/src/jalview/jbgui/GRestInputParamEditDialog.java b/src/jalview/jbgui/GRestInputParamEditDialog.java
index eb1a348..5170a6c 100644
--- a/src/jalview/jbgui/GRestInputParamEditDialog.java
+++ b/src/jalview/jbgui/GRestInputParamEditDialog.java
@@ -63,12 +63,12 @@ public class GRestInputParamEditDialog
   protected void jbInit()
   {
     dpane = new JPanel(new MigLayout("", "[][][fill]", "[][fill][]"));
-    dpane.setPreferredSize(new Dimension(
-            110 + 100 + OptsAndParamsPage.PARAM_WIDTH, 400));
+    dpane.setPreferredSize(
+            new Dimension(110 + 100 + OptsAndParamsPage.PARAM_WIDTH, 400));
     typeList = new JList();
     typeList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
-    typeList.getSelectionModel().addListSelectionListener(
-            new ListSelectionListener()
+    typeList.getSelectionModel()
+            .addListSelectionListener(new ListSelectionListener()
             {
 
               @Override
@@ -107,16 +107,16 @@ public class GRestInputParamEditDialog
             MessageManager.getString("label.input_parameter_name"),
             new JLabel(MessageManager.getString("label.name")), tok,
             "grow,spanx 3,wrap");
-    JPanel paramsType = new JPanel(new MigLayout("", "[grow 100,fill]",
-            "[grow 100,fill]"));
-    paramsType.setBorder(new TitledBorder(MessageManager
-            .getString("label.select_input_type")));
+    JPanel paramsType = new JPanel(
+            new MigLayout("", "[grow 100,fill]", "[grow 100,fill]"));
+    paramsType.setBorder(new TitledBorder(
+            MessageManager.getString("label.select_input_type")));
     JScrollPane jlistScroller = new JScrollPane();
     jlistScroller.setViewportView(typeList);
     paramsType.add(jlistScroller, "spanx 2,spany 2");
     dpane.add(paramsType);
-    optionsPanel.setBorder(new TitledBorder(MessageManager
-            .getString("label.set_options_for_type")));
+    optionsPanel.setBorder(new TitledBorder(
+            MessageManager.getString("label.set_options_for_type")));
     optionsPanel.add(optionView);
     dpane.add(optionsPanel, "wrap");
     okcancel = new JPanel(new MigLayout("", "[center][center]", "[]"));