if ( arg1.getEventType( ) == NotificationEvent.PROPERTY_EVENT && ( (PropertyEvent) arg1 ).getPropertyName().equals( StyleHandle.FONT_SIZE_PROP)) { getFigure().invalidateTree(); }
	public void elementChanged( DesignElementHandle arg0, NotificationEvent arg1 )	{		markDirty( true );		refreshVisuals( );	}