static JFrame increaseFrameWidth(Component c, int w) {
  JFrame f = getFrame(c);
  setFrameWidth(f, f.getWidth()+w);
  ret f;
}