X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGRestInputParamEditDialog.java;h=5170a6c3a0c2c0c74b27ef6aa9e1168b91e51cb3;hb=d465aa924dae06b94ecaa229c74dc7ee6404df45;hp=74ebcad28cff6427b792cb7b0237960eca32e917;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git diff --git a/src/jalview/jbgui/GRestInputParamEditDialog.java b/src/jalview/jbgui/GRestInputParamEditDialog.java index 74ebcad..5170a6c 100644 --- a/src/jalview/jbgui/GRestInputParamEditDialog.java +++ b/src/jalview/jbgui/GRestInputParamEditDialog.java @@ -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]", "[]"));