static int getInnerFrameHeight(JFrame f) {
  ret f.getRootPane().getHeight();
}