JAL-1517 source formatting
[jalview.git] / src / jalview / jbgui / GRestInputParamEditDialog.java
index c55ae45..f91d8b2 100644 (file)
@@ -98,16 +98,20 @@ public class GRestInputParamEditDialog
     optionsPanel = new JPanel(new MigLayout("", "[fill]", "[fill]"));
     JScrollPane optionView = new JScrollPane();
     optionView.setViewportView(options);
-    JvSwingUtils.mgAddtoLayout(dpane, MessageManager.getString("label.input_parameter_name"), new JLabel(
-            MessageManager.getString("label.name")), tok, "grow,spanx 3,wrap");
+    JvSwingUtils.mgAddtoLayout(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")));
+    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]", "[]"));