/** @generated */ protected NodeFigure createNodePlate() { DefaultSizeNodeFigure result = new DefaultSizeNodeFigure(12, 10); // FIXME: workaround for #154536 result.getBounds().setSize(result.getPreferredSize()); return result; }
/** Modify the default size of the containment circle node */ protected org.eclipse.gmf.runtime.gef.ui.figures.NodeFigure createNodePlate() { org.eclipse.gmf.runtime.gef.ui.figures.DefaultSizeNodeFigure result = new org.eclipse.gmf.runtime.gef.ui.figures.DefaultSizeNodeFigure(20, 20); // FIXME: workaround for #154536 result.getBounds().setSize(result.getPreferredSize()); return result; }
/** @generated */ protected NodeFigure createNodePlate() { String prefElementId = "OutputPin"; IPreferenceStore store = UMLDiagramEditorPlugin.getInstance().getPreferenceStore(); String preferenceConstantWitdh = PreferenceInitializerForElementHelper.getpreferenceKey( getNotationView(), prefElementId, PreferencesConstantsHelper.WIDTH); String preferenceConstantHeight = PreferenceInitializerForElementHelper.getpreferenceKey( getNotationView(), prefElementId, PreferencesConstantsHelper.HEIGHT); DefaultSizeNodeFigure result = new DefaultSizeNodeFigure( store.getInt(preferenceConstantWitdh), store.getInt(preferenceConstantHeight)); // FIXME: workaround for #154536 result.getBounds().setSize(result.getPreferredSize()); return result; }