Ejemplo n.º 1
0
  // Of graphics...
  public MiSize getPreferredSize(MiSize size) {
    if (graphics != null) {
      graphics.getPreferredSize(size);
    } else if (attributes != null) {
      attributes.getFont().getSize(strValue, size);
    } else {
      table.getAttributes().getFont().getSize(strValue, size);
    }
    if (insetMargins != null) size.addMargins(insetMargins);
    if (margins != null) size.addMargins(margins);

    return (size);
  }