Method getMinimumSize

app/src/processing/app/EditorHeader.java:346–351

()

  public Dimension getMinimumSize() {
    Dimension size = scale(new Dimension(300, GRID_SIZE));
    if (OSUtils.isMacOS())
      size.height--;
    return size;
  }


  public Dimension getMaximumSize() {