//static JWindow quickInfoBox_box;

static JWindow quickInfoBox(S text) {
  ret infoBox(text);
}

static JWindow infoBox(S text, double seconds) {
  ret infoBox(text, seconds);
}