please include function flatInfoBox.

static int flatInfoBox_topRightCorner_x = 50;
static int flatInfoBox_topRightCorner_y = 5;

static JWindow flatInfoBox_topRightCorner(S text) {
  ret flatInfoBox_topRightCorner(text, flatInfoBox_defaultTime);
}

static JWindow flatInfoBox_topRightCorner(final S text, final double seconds) {
  print(text);
  ret flatInfoBox_topRightCorner_noprint(text, seconds);
}

static JWindow flatInfoBox_topRightCorner_noprint(S text) {
  ret flatInfoBox_topRightCorner_noprint(text, flatInfoBox_defaultTime);
}

static JWindow flatInfoBox_topRightCorner_noprint(final S text, final double seconds) {
  logQuotedWithDate(infoBoxesLogFile(), text); 
  if (isHeadless()) null;
  ret (JWindow) swingAndWait(func {
    JWindow window = makeWindow(flatInfoBox_makePanel(text));
    window.pack();
    window.setBounds(screenWidth()-window.getWidth()-flatInfoBox_topRightCorner_x, flatInfoBox_topRightCorner_y, window.getWidth(), window.getHeight());
    if (flatInfoBox_alwaysOnTop)
      window.setAlwaysOnTop(true);
    window.setVisible(true);
    disposeWindowAfter(iround(seconds*1000), window);
    ret window;
  });

  /*ret moveToTopRightCorner(flatInfoBox_topRightCorner_x, flatInfoBox_topRightCorner_y,
    packWindow(flatInfoBox_noprint(text, flatInfoBox_defaultTime)));*/
}

Began life as a copy of #1014595