Net2map - Technical documentation

00001 /*
00002  * DimensionGUI.java
00003  *
00004  * Created on 3 mars 2003, 13:32
00005  *  Copyright (C) 2003 Philippe MOULIN
00006  *  www.net2map.org
00007  *
00008  *  This program is free software; you can redistribute it and/or
00009  *  modify it under the terms of the GNU General Public License
00010  *  as published by the Free Software Foundation; either version 2
00011  *  of the License, or (at your option) any later version.
00012  *
00013  *  This program is distributed in the hope that it will be useful,
00014  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
00015  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00016  *  GNU Lesser General Public License for more details.
00017  *
00018  *  You should have received a copy of the GNU General Public License
00019  *  along with this program; if not, write to the Free Software
00020  *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
00021  */
00022 
00023 package org.net2map.pov.dimension;
00024 import java.beans.*;
00025 
00030 public abstract class GUI 
00031                 extends javax.swing.JPanel 
00032                 implements java.io.Serializable 
00033 {
00034     public static final int HorizontalMargin = 2;
00035     public static final int VerticalMargin = 2;
00036     
00037     public static final int HorizontalSize = 200;
00039     public static final int MinimumVerticalSize = 100;
00041     public static final int PreferredVerticalSize = 120;
00043     public static final int MaximumVerticalSize = 200;  
00044     
00045     protected org.net2map.pov.dimension.Container theContainer = null;
00046     
00048     public GUI(org.net2map.pov.dimension.Container paramContainer)
00049     {
00050         theContainer = paramContainer;
00051         initComponents();
00052     }
00053 
00054 
00055     private void initComponents()
00056     {
00057 
00058         //setLayout(new java.awt.BorderLayout());
00059         setMaximumSize(new java.awt.Dimension(HorizontalSize, MaximumVerticalSize));
00060         setMinimumSize(new java.awt.Dimension(HorizontalSize, MinimumVerticalSize));
00061         setPreferredSize(new java.awt.Dimension(HorizontalSize, PreferredVerticalSize));
00063                
00064         setBorder(new javax.swing.border.TitledBorder(theContainer.getName()));
00065     }
00066     
00067     
00068     public abstract void addPropertyChangeListener(String PropertyName, PropertyChangeListener listener);
00069     
00070     public abstract void removePropertyChangeListener(String PropertyName, PropertyChangeListener listener);
00071     
00072 }