static <A extends Component> A setFrameWidth(A c, int w) {
  JFrame f = getFrame(c);
  if (f != null)
    f.setSize(w, f.getHeight());
  ret c;
}