static int growToTop_inset = 20;

static JFrame growToTop(JFrame f) {
  ret f == null ? null : frameGrowUpper(f, max(0, -(growToTop_inset-f.getY())));
}