/** @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());
}