package djh.games.pavajong ;

import java.awt.*;

//
// This code is released into the public domain as of 3/31/96.
// d.j.hudek
//


///////////////////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////////////////
//			class PJBorderPanel
///////////////////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////////////////

public class PJBorderPanel extends Panel 
{
	
	/////////////////////////////////////////////////////////////////
	// 			Constructor
	/////////////////////////////////////////////////////////////////

	/**
	 * Normal Panel extended to have a border
	 */
  	public PJBorderPanel()
	{
	    // nothing to do 
	}


	/////////////////////////////////////////////////////////////////
	// 		Overridden Methods
	/////////////////////////////////////////////////////////////////

	public synchronized void paint( Graphics g )
	{
	    Dimension d = size();
	    g.drawRect( 0, 0, d.width-1, d.height-1 );
	}

	public Insets insets()
	{
	    return( new Insets(5,5,5,5) );
	}

}