static void moveWindowDown(Window f, int y) {
  moveDown(f, y);
}