Esempio n. 1
0
  /** @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;
  }
Esempio n. 2
0
 /** Access restriction on constructors */
 private Log() {
   super(UMLDiagramEditorPlugin.getInstance());
 }
 /** @generated */
 public DiagramPrintingPreferencePage() {
   setPreferenceStore(UMLDiagramEditorPlugin.getInstance().getPreferenceStore());
 }