load( );
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( ); }
	public void elementChanged( DesignElementHandle focus, NotificationEvent ev )	{		load( );	}