case NotificationEvent.TEMPLATE_TRANSFORM_EVENT:
case NotificationEvent.THEME_EVENT: case NotificationEvent.TEMPLATE_TRANSFORM_EVENT :
	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.TEMPLATE_TRANSFORM_EVENT:			{				refresh( );				this.markDirty( true );				break;			}		}	}