X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;h=eb1a3486830ff556ff07a26eef12274eac39967c;hb=3e6ab0cb043dd49393bf8a9cb6d79098d5a6b6a5;hp=c55ae452d071bc8137894752cf689b0bc7d60dfc;hpb=47168f025aefdaa044802bd5f8f510ffe43a4808;p=jalview.git

diff --git a/src/jalview/jbgui/GRestInputParamEditDialog.java b/src/jalview/jbgui/GRestInputParamEditDialog.java
index c55ae45..eb1a348 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;
@@ -98,16 +103,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]", "[]"));