static JWindow quickInfoBox_box;

static JWindow quickInfoBox(S text) {
}

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

static JWindow infoBox(Throwable e) {
  ret infoMessage(e);
}