src/jalview/jbgui/GRestInputParamEditDialog.java

   1 package jalview.jbgui;
   2
   3 import java.awt.Dimension;
   4 import java.awt.event.KeyEvent;
   5 import java.awt.event.KeyListener;
   6
   7 import jalview.gui.JvSwingUtils;
   8 import jalview.gui.OptsAndParamsPage;
   9
  10 import javax.swing.*;
  11 import javax.swing.border.TitledBorder;
  12 import javax.swing.event.ListSelectionEvent;
  13 import javax.swing.event.ListSelectionListener;
  14
  15 import net.miginfocom.swing.MigLayout;
  16
  17
  18 public class GRestInputParamEditDialog
  19 {
  20
  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()
  28   {
  29     jbInit();
  30   }
  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()
  37     {
  38
  39       @Override
  40       public void valueChanged(ListSelectionEvent e)
  41       {
  42         type_SelectionChangedActionPerformed(e);
  43       };
  44     });
  45
  46     tok = new JTextField();
  47     tok.addKeyListener(new KeyListener()
  48     {
  49
  50       @Override
  51       public void keyTyped(KeyEvent e)
  52       {
  53       }
  54
  55       @Override
  56       public void keyReleased(KeyEvent e)
  57       {
  58         tokChanged_actionPerformed();
  59       }
  60
  61       @Override
  62       public void keyPressed(KeyEvent e)
  63       {
  64
  65       }
  66     });
  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");
  83
  84   }
  85   protected void tokChanged_actionPerformed()
  86   {
  87
  88   }
  89   protected void type_SelectionChangedActionPerformed(ListSelectionEvent e)
  90   {
  91   }
  92
  93 }