// TODO Graphiti - not a ScalableRootEditPart but some kind of DiagramEditPart
if (rootEditPart instanceof ScalableRootEditPartAnimated) {
ScalableRootEditPartAnimated diagramEditPart = (ScalableRootEditPartAnimated) rootEditPart;
IFigure figure = diagramEditPart.getFigure();
thumbnail = new ScrollableThumbnail( (Viewport) figure);
IFigure source = diagramEditPart.getLayer(LayerConstants.PRINTABLE_LAYERS);
thumbnail.setSource(source);
lws.setContents(thumbnail);
} else if (rootEditPart instanceof ScalableRootEditPart) {
thumbnail = new ScrollableThumbnail( (Viewport) ((ScalableRootEditPart) rootEditPart).getFigure());
thumbnail.setSource(((ScalableRootEditPart) rootEditPart).getLayer(LayerConstants.PRINTABLE_LAYERS));
lws.setContents(thumbnail);
}
disposeListener = new DisposeListener() {
/*