X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;h=5170a6c3a0c2c0c74b27ef6aa9e1168b91e51cb3;hb=09d3b755d9b00f5c3acb44049aedd49361dc0690;hp=f91d8b21dafb56826f3fb4577cb9b4c088587f3d;hpb=7ab5d6b0ba5fec1ea4a4239e79c476d841622485;p=jalview.git

diff --git a/src/jalview/jbgui/GRestInputParamEditDialog.java b/src/jalview/jbgui/GRestInputParamEditDialog.java
index f91d8b2..5170a6c 100644
--- a/src/jalview/jbgui/GRestInputParamEditDialog.java
+++ b/src/jalview/jbgui/GRestInputParamEditDialog.java
@@ -1,6 +1,6 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
- * Copyright (C) 2014 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
  * 
  * This file is part of Jalview.
  * 
@@ -20,15 +20,20 @@
  */
 package jalview.jbgui;
 
-import java.awt.Dimension;
-import java.awt.event.KeyEvent;
-import java.awt.event.KeyListener;
-
 import jalview.gui.JvSwingUtils;
 import jalview.gui.OptsAndParamsPage;
 import jalview.util.MessageManager;
 
-import javax.swing.*;
+import java.awt.Dimension;
+import java.awt.event.KeyEvent;
+import java.awt.event.KeyListener;
+
+import javax.swing.JLabel;
+import javax.swing.JList;
+import javax.swing.JPanel;
+import javax.swing.JScrollPane;
+import javax.swing.JTextField;
+import javax.swing.ListSelectionModel;
 import javax.swing.border.TitledBorder;
 import javax.swing.event.ListSelectionEvent;
 import javax.swing.event.ListSelectionListener;
@@ -58,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
@@ -102,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]", "[]"));