if ( ev.getEventType( ) == NotificationEvent.PROPERTY_EVENT ) { borderSection.getBorderControl( ).elementChanged( focus, ev );  }  if ( ev.getEventType( ) == NotificationEvent.CONTENT_EVENT ) { super.refresh( ); }
	public void elementChanged( DesignElementHandle focus, NotificationEvent ev )	{	}