3 import java.awt.Dimension;
4 import java.awt.event.KeyEvent;
5 import java.awt.event.KeyListener;
7 import jalview.gui.JvSwingUtils;
8 import jalview.gui.OptsAndParamsPage;
11 import javax.swing.border.TitledBorder;
12 import javax.swing.event.ListSelectionEvent;
13 import javax.swing.event.ListSelectionListener;
15 import net.miginfocom.swing.MigLayout;
18 public class GRestInputParamEditDialog
21 protected JPanel dpane;
22 protected JPanel okcancel;
23 protected JList typeList;
24 protected JTextField tok;
25 protected JPanel options;
26 protected JPanel optionsPanel;
27 public GRestInputParamEditDialog()
31 protected void jbInit() {
32 dpane = new JPanel(new MigLayout("","[][][fill]","[][fill][]"));
33 dpane.setPreferredSize(new Dimension(110+100+OptsAndParamsPage.PARAM_WIDTH,400));
34 typeList = new JList();
35 typeList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
36 typeList.getSelectionModel().addListSelectionListener(new ListSelectionListener()
40 public void valueChanged(ListSelectionEvent e)
42 type_SelectionChangedActionPerformed(e);
46 tok = new JTextField();
47 tok.addKeyListener(new KeyListener()
51 public void keyTyped(KeyEvent e)
56 public void keyReleased(KeyEvent e)
58 tokChanged_actionPerformed();
62 public void keyPressed(KeyEvent e)
67 options = new JPanel(new MigLayout("","[grow 100,fill]",""));
68 optionsPanel = new JPanel(new MigLayout("","[fill]","[fill]"));
69 JScrollPane optionView = new JScrollPane();
70 optionView.setViewportView(options);
71 JvSwingUtils.mgAddtoLayout(dpane, "Input Parameter name", new JLabel("Name"), tok, "grow,spanx 3,wrap");
72 JPanel paramsType = new JPanel(new MigLayout("","[grow 100,fill]","[grow 100,fill]"));
73 paramsType.setBorder(new TitledBorder("Select input type"));
74 JScrollPane jlistScroller=new JScrollPane();
75 jlistScroller.setViewportView(typeList);
76 paramsType.add(jlistScroller,"spanx 2,spany 2");
77 dpane.add(paramsType);
78 optionsPanel.setBorder(new TitledBorder("Set options for type"));
79 optionsPanel.add(optionView);
80 dpane.add(optionsPanel,"wrap");
81 okcancel = new JPanel(new MigLayout("","[center][center]","[]"));
82 dpane.add(okcancel,"spanx 3,wrap");
85 protected void tokChanged_actionPerformed()
89 protected void type_SelectionChangedActionPerformed(ListSelectionEvent e)