svoid minimalFrameSize(Component c, int w, int h) {
  Container f = getPIFrame(c);
  if (f != null) setSize(f, max(w, getWidth(f)), max(h, getHeight(f)));
}