isViewSizeSet = true;
  public void setViewSize(Dimension newSize)  {    viewSize = newSize;    Component view = getView();    if (view != null)      view.setSize(viewSize);    isViewSizeSet = true;    fireStateChanged();  }