if ( propertyName.equals( StyleHandle.BORDER_TOP_WIDTH_PROP )
if ( propertyName.equals( StyleHandle.BORDER_BOTTOM_WIDTH_PROP ) || propertyName.equals( StyleHandle.BORDER_TOP_WIDTH_PROP )
	public void elementChanged( DesignElementHandle focus, NotificationEvent ev )	{		PropertyEvent event = (PropertyEvent) ev;		String propertyName = event.getPropertyName( );		if ( propertyName.equals( StyleHandle.BORDER_TOP_WIDTH_PROP )				|| propertyName.equals( StyleHandle.BORDER_LEFT_WIDTH_PROP )				|| propertyName.equals( StyleHandle.BORDER_BOTTOM_WIDTH_PROP )				|| propertyName.equals( StyleHandle.BORDER_RIGHT_WIDTH_PROP ) )		{			load( );		}	}