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