package mit.rmi.ui ;

public class CriteriaPanel
extends mit.util.ui.CriteriaPanel
{
	mit.rmi.ui.Host host = new mit.rmi.ui.Host() ;
	mit.rmi.ui.Port port = new mit.rmi.ui.Port() ;
	javax.swing.JComponent[] fields = new javax.swing.JComponent[ 2 ] ;

	public javax.swing.JComponent[] getFields()
	{
		fields[ 0 ] = host ;
		fields[ 1 ] = port ;
		return fields ;
	}
	public String getCriteriaLabel()
	{
		return "Criteria" ;
	}

	public java.awt.Dimension getMinimumSize()
	{
		return new java.awt.Dimension( 300 , 100 ) ;
	}

	public java.awt.Dimension getPreferredSize()
	{
		java.awt.Dimension minSize = getMinimumSize() ;
		java.awt.Dimension size = super.getPreferredSize() ;
		size.width = Math.max( size.width , minSize.width ) ;
		size.height = Math.max( size.height , minSize.height ) ;
		return size ;
	}
}