} /*
}
	public void elementChanged( DesignElementHandle focus, NotificationEvent ev )	{		switch ( ev.getEventType( ) )		{			case NotificationEvent.CONTENT_EVENT :			case NotificationEvent.STYLE_EVENT :			{				refresh( );				break;			}			case NotificationEvent.PROPERTY_EVENT :			case NotificationEvent.THEME_EVENT:			case NotificationEvent.TEMPLATE_TRANSFORM_EVENT :			{//				if ( ReportDesignHandle.THEME_PROP.equalsIgnoreCase(//						((PropertyEvent) ev )//						.getPropertyName( )) )//				{//					this.getFigure( ).invalidateTree( );//				}								refresh( );				this.markDirty( true );				break;			}		}	} /*