public static void setCollapsedSize(PictogramElement pe, IDimension size) {
setCollapsedSize(pe, size.getWidth(), size.getHeight());
}
public static void updateCollapsedSize(PictogramElement pe) {
IDimension size = GraphicsUtil.calculateSize(pe);
FeatureSupport.setCollapsedSize(pe, size);
}
