- svp.getViewport().setMinimumSize(new Dimension(300,250));
- //svp.setSize(300,250);
-// JPanel panel=new JPanel();
-// panel.setSize(new Dimension(350,220));
-// panel.add(svp);
-
- add(svp, BorderLayout.NORTH);
- JPanel j = new JPanel(new FlowLayout());
- j.setPreferredSize(new Dimension(300,50));
+ // svp.getViewport().setMinimumSize(new Dimension(300,200));
+ // svp.setSize(300,250);
+ // JPanel panel=new JPanel();
+ // panel.setSize(new Dimension(350,220));
+ // panel.add(svp);
+ dbviews.addTreeSelectionListener(new TreeSelectionListener()
+ {
+
+ @Override
+ public void valueChanged(TreeSelectionEvent arg0)
+ {
+ _setSelectionState();
+ }
+ });
+ JPanel jc = new JPanel(new BorderLayout()), j = new JPanel(
+ new FlowLayout());
+ jc.add(svp, BorderLayout.CENTER);
+
+ java.awt.Font f;
+ // TODO: make the panel stay a fixed size for longest dbname+example set.
+ JPanel dbstat = new JPanel(new GridLayout(2, 1));
+ dbstatus = new JLabel(" "); // set the height correctly for layout
+ dbstatus.setFont(f = JvSwingUtils.getLabelFont(false, true));
+ dbstatus.setSize(new Dimension(290, 50));
+ dbstatex = new JLabel(" ");
+ dbstatex.setFont(f);
+ dbstatex.setSize(new Dimension(290, 50));
+ dbstat.add(dbstatus);
+ dbstat.add(dbstatex);
+ jc.add(dbstat, BorderLayout.SOUTH);
+ jc.validate();
+ // j.setPreferredSize(new Dimension(300,50));
+ add(jc, BorderLayout.CENTER);