code: //==============================================================================
  //	
  //	Copyright (c) 2002-
  //	Authors:
  //	* Andrew Hinton <ug60axh@cs.bham.ac.uk> (University of Birmingham)
  //	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
  //	
  //------------------------------------------------------------------------------
  //	
  //	This file is part of PRISM.
  //	
  //	PRISM is free software; you can redistribute it and/or modify
  //	it under the terms of the GNU General Public License as published by
  //	the Free Software Foundation; either version 2 of the License, or
  //	(at your option) any later version.
  //	
  //	PRISM is distributed in the hope that it will be useful,
  //	but WITHOUT ANY WARRANTY; without even the implied warranty of
  //	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  //	GNU General Public License for more details.
  //	
  //	You should have received a copy of the GNU General Public License
  //	along with PRISM; if not, write to the Free Software Foundation,
  //	Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  //	
  //==============================================================================
  
  package userinterface.properties;
  
  import java.awt.*;
  
  public class GraphConstantHeader extends javax.swing.JPanel
  {
      
      /** Creates new form ConstantLine */
      public GraphConstantHeader()
      {
  		initComponents();
  		setPreferredSize(new Dimension(1, getFontMetrics(getFont()).getHeight() + 4));
      }
      
      public void setEnabled(boolean b)
      {
          super.setEnabled(b);
          jLabel1.setEnabled(b);
          jLabel2.setEnabled(b);
          jLabel3.setEnabled(b);
      }
      /** This method is called from within the constructor to
       * initialize the form.
       * WARNING: Do NOT modify this code. The content of this method is
       * always regenerated by the Form Editor.
       */
      private void initComponents()//GEN-BEGIN:initComponents
      {
          java.awt.GridBagConstraints gridBagConstraints;
  
          jPanel1 = new javax.swing.JPanel();
          jLabel1 = new javax.swing.JLabel();
          jPanel2 = new javax.swing.JPanel();
          jLabel2 = new javax.swing.JLabel();
          jPanel3 = new javax.swing.JPanel();
          jLabel3 = new javax.swing.JLabel();
  
          setLayout(new java.awt.GridBagLayout());
  
          setBorder(new javax.swing.border.LineBorder(new java.awt.Color(0, 0, 0)));
          setPreferredSize(new java.awt.Dimension(300, 17));
          gridBagConstraints = new java.awt.GridBagConstraints();
          gridBagConstraints.gridx = 0;
          gridBagConstraints.gridy = 1;
          add(jPanel1, gridBagConstraints);
  
          jLabel1.setText("Name");
          jLabel1.setMinimumSize(new java.awt.Dimension(30, 15));
          jLabel1.setPreferredSize(new java.awt.Dimension(30, 15));
          gridBagConstraints = new java.awt.GridBagConstraints();
          gridBagConstraints.gridx = 1;
          gridBagConstraints.gridy = 1;
          gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
          gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
          gridBagConstraints.weightx = 0.3;
          add(jLabel1, gridBagConstraints);
  
          gridBagConstraints = new java.awt.GridBagConstraints();
          gridBagConstraints.gridx = 2;
          gridBagConstraints.gridy = 1;
          add(jPanel2, gridBagConstraints);
  
          jLabel2.setHorizontalAlignment(javax.swing.SwingConstants.LEFT);
          jLabel2.setText("Type");
          jLabel2.setPreferredSize(new java.awt.Dimension(50, 15));
          gridBagConstraints = new java.awt.GridBagConstraints();
          gridBagConstraints.gridx = 3;
          gridBagConstraints.gridy = 1;
          gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
          add(jLabel2, gridBagConstraints);
  
          gridBagConstraints = new java.awt.GridBagConstraints();
          gridBagConstraints.gridx = 4;
          gridBagConstraints.gridy = 1;
          add(jPanel3, gridBagConstraints);
  
          jLabel3.setHorizontalAlignment(javax.swing.SwingConstants.LEFT);
          jLabel3.setText("Value");
          jLabel3.setPreferredSize(new java.awt.Dimension(10, 15));
          gridBagConstraints = new java.awt.GridBagConstraints();
          gridBagConstraints.gridx = 6;
          gridBagConstraints.gridy = 1;
          gridBagConstraints.fill = java.awt.GridBagConstraints.HORIZONTAL;
          gridBagConstraints.anchor = java.awt.GridBagConstraints.WEST;
          gridBagConstraints.weightx = 0.7;
          add(jLabel3, gridBagConstraints);
  
      }//GEN-END:initComponents
      
      
      // Variables declaration - do not modify//GEN-BEGIN:variables
      private javax.swing.JLabel jLabel1;
      private javax.swing.JLabel jLabel2;
      private javax.swing.JLabel jLabel3;
      private javax.swing.JPanel jPanel1;
      private javax.swing.JPanel jPanel2;
      private javax.swing.JPanel jPanel3;
      // End of variables declaration//GEN-END:variables
      
  }
  