/** @generated */ protected NodeFigure createNodePlate() { String prefElementId = "Port"; IPreferenceStore store = UMLDiagramEditorPlugin.getInstance().getPreferenceStore(); String preferenceConstantWitdh = PreferenceInitializerForElementHelper.getpreferenceKey( getNotationView(), prefElementId, PreferenceConstantHelper.WIDTH); String preferenceConstantHeight = PreferenceInitializerForElementHelper.getpreferenceKey( getNotationView(), prefElementId, PreferenceConstantHelper.HEIGHT); DefaultSizeNodeFigure result = new DefaultSizeNodeFigure( store.getInt(preferenceConstantWitdh), store.getInt(preferenceConstantHeight)); // FIXME: workaround for #154536 result.getBounds().setSize(result.getPreferredSize()); return result; }
/** Access restriction on constructors */ private Log() { super(UMLDiagramEditorPlugin.getInstance()); }
/** @generated */ public DiagramPrintingPreferencePage() { setPreferenceStore(UMLDiagramEditorPlugin.getInstance().getPreferenceStore()); }