sint packFrame_minw = 150, packFrame_minh = 50;

static JFrame packFrame(Component c) {
  JFrame frame = getFrame(c);
  if (frame == null) null;
  frame.pack();
  int maxW = getScreenWidth()-50, maxH = getScreenHeight()-50;
  frame.setSize(
    min(maxW, max(frame.getWidth(), packFrame_minw)),
    min(maxH, max(frame.getHeight(), packFrame_minh)));
  ret frame;
}

static JFrame packFrame(ButtonGroup g) {
  ret packFrame(getFrame(g));
}