X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;h=14ebbc0a01e7ee691bfc3dbfb3abc582bf7a36e2;hb=80238b0ded8d29f9f50399c51bc550bc1df9c426;hp=eb1a3486830ff556ff07a26eef12274eac39967c;hpb=37de9310bec3501cbc6381e0c3dcb282fcaad812;p=jalview.git

diff --git a/src/jalview/jbgui/GRestInputParamEditDialog.java b/src/jalview/jbgui/GRestInputParamEditDialog.java
index eb1a348..14ebbc0 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
@@ -103,20 +103,20 @@ public class GRestInputParamEditDialog
     optionsPanel = new JPanel(new MigLayout("", "[fill]", "[fill]"));
     JScrollPane optionView = new JScrollPane();
     optionView.setViewportView(options);
-    JvSwingUtils.mgAddtoLayout(dpane,
+    JvSwingUtils.addtoLayout(dpane,
             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]", "[]"));